import GridData from '../../grid.js';
import Solver from '../solver.js';
export default class Z3Solver extends Solver {
    readonly id = "z3";
    readonly author = "Lysine";
    readonly description = "(Obsolete) A WebAssembly solver that supports a limited set of rules and symbols.";
    readonly supportsCancellation = false;
    protected isEnvironmentSupported(): Promise<boolean>;
    solve(grid: GridData): AsyncGenerator<GridData | null>;
    isInstructionSupported(instructionId: string): boolean;
    isGridSupported(grid: GridData): boolean;
}