export interface SolverResult {
    status: "sat" | "unsat" | "unknown";
    model?: Map<string, number | boolean>;
}
export declare class BuiltinSolver {
    private constraints;
    private timeoutIterations;
    private iterations;
    set(key: string, value: number): void;
    add(expr: any): void;
    check(): Promise<"sat" | "unsat" | "unknown">;
    checkSync(): "sat" | "unsat" | "unknown";
    model(): BuiltinModel;
    private cachedResult;
    private solve;
    private tryHeuristic;
    private searchHeuristic;
    private searchExhaustive;
    /**
     * Compute a bounded search range for a variable, using constraint
     * analysis to narrow the range and heuristic values to seed it.
     */
    private computeRange;
    private evaluateAll;
    private evaluate;
}
export declare class BuiltinModel {
    private readonly values;
    constructor(values: Map<string, number | boolean>);
    eval(expr: any, _completion: boolean): any;
}
//# sourceMappingURL=solver.d.ts.map