import { Solver, Optimize } from 'z3-solver';
import GridData from '../../../grid.js';
import Z3SolverContext from '../z3SolverContext.js';
import Z3Module from './z3Module.js';
export default class DartModule extends Z3Module {
    readonly id: string;
    encode<Name extends string>(grid: GridData, ctx: Z3SolverContext<Name, Solver<Name> | Optimize<Name>>): void;
}
export declare const instance: DartModule;