export declare const VILLANI_RUNTIME_VERSION = "0.1.5";
export declare const VILLANI_RUNTIME_REPOSITORY = "mmprotest/villani-code";
export declare const VILLANI_RUNTIME_TAG = "pi-villani-runtime-v0.1.5";
export type PlatformKey = "win32-x64" | "darwin-arm64" | "darwin-x64" | "linux-x64";
export declare function platformKey(platform?: NodeJS.Platform, arch?: NodeJS.Architecture): PlatformKey;
export declare function assetName(key: PlatformKey): string;
export declare function executableRelativePath(key: PlatformKey): string;