import { GoalQueue } from "../goal-queue";
import { Goal } from "../goal";
import { Subst } from "../subst";
export declare class Solver<T> {
    queues: Array<GoalQueue>;
    constructor(opts: {
        queues: Array<GoalQueue>;
    });
    static forGoals<T>(goals: Array<Goal>): Solver<T>;
    next(): Subst | null;
    solve(opts?: {
        limit?: number;
    }): Array<Subst>;
}