import type { SolverContext } from "../solver-context.js";
/**
 * Create a SolverContext backed by the built-in QF-LIA solver.
 *
 * Supports: Int, Bool, Real sorts; arithmetic, comparison, boolean ops.
 * Does NOT support: ForAll, Exists, Array, Function (returns undefined).
 */
export declare function createBuiltinSolver(): SolverContext;
//# sourceMappingURL=index.d.ts.map