/**
 * SolverAgent
 *
 * Research sub-agent that implements Phase 2–4 of the "Structured Reasoning
 * Systems" research plan:
 *
 *   NL → LLM → ConstraintSpec (JSON Brain) → Solver → SolveResult + metrics
 *
 * The solver operates in pure TypeScript with no external dependencies so the
 * pipeline can run immediately. Swap the `_nativeSolve` call for a Z3 /
 * OR-Tools binding once you want to scale to harder instances.
 *
 * Key design choices:
 *  - Expression evaluation uses a recursive-descent parser (NO eval()).
 *  - Three interchangeable strategies: brute-force, constraint-propagation,
 *    llm-guided (LLM trims the domain before search).
 *  - Every run produces a SolveTrace with operations count, search-space size,
 *    pruning ratio — the numbers for Phase 4 / 5 measurement tables.
 */
import { SubAgent } from "../interfaces/SubAgent";
import { SolverInput, SolverOutput, ConstraintSpec } from "../../types/constraint";
export declare class SolverAgent implements SubAgent<SolverInput, SolverOutput> {
    name: string;
    description: string;
    personality: string;
    llmProvider: string;
    expertise: string[];
    private ai;
    constructor();
    validate(input: SolverInput): Promise<boolean>;
    run(input: SolverInput): Promise<SolverOutput>;
    private _translateNL;
    private _llmNarrowDomains;
    getStatus(): Promise<{
        name: string;
        status: "idle";
        errorCount: number;
        successCount: number;
    }>;
}
export declare function createFactorizationSpec(N: number): ConstraintSpec;
//# sourceMappingURL=SolverAgent.d.ts.map