import { RegionConstrainer, SymbolGrid } from 'grilops';
import { Optimize, Solver, Z3LowLevel } from 'z3-solver';
export default class Z3SolverContext<Name extends string, const Core extends Solver<Name> | Optimize<Name> = Solver<Name> | Optimize<Name>> {
    readonly grid: SymbolGrid<Name, Core>;
    private _regionConstrainer;
    constructor(grid: SymbolGrid<Name, Core>);
    get solver(): Core;
    get lattice(): import("grilops").Lattice;
    get symbolSet(): import("grilops").SymbolSet;
    get ctx(): import("z3-solver").Context<Name>;
    get z3(): Z3LowLevel['Z3'];
    get regionConstrainer(): RegionConstrainer<Name, Core>;
}