import GridData from '../../grid.js';
import Solver from '../solver.js';
export default class Z3Solver extends Solver {
    readonly id = "z3";
    readonly description = "Good for confirming that a solution is unique, especially for larger puzzles. It is otherwise slower than most solvers in small to medium-sized puzzles.";
    isEnvironmentSupported(): Promise<boolean>;
    solve(grid: GridData): AsyncGenerator<GridData | null>;
    isInstructionSupported(instructionId: string): boolean;
    isGridSupported(grid: GridData): boolean;
}
