export declare const QUINT_EVALUATOR_VERSION = "v0.6.0";
/**
 * Get the path to the Rust evaluator executable.
 * @param {string} version - The version of the evaluator.
 * @returns {string} The path to the Quint evaluator executable.
 * @throws Will throw an error if the evaluator is not found or cannot be downloaded.
 */
export declare function getRustEvaluatorPath(version?: string): Promise<string>;