interface Package {
    name: string;
    version: string;
    dependencies?: Record<string, string>;
    conflicts?: string[];
}
export declare class SATSolver {
    private variables;
    private clauses;
    private varCounter;
    private assignments;
    private watchedLiterals;
    solve(requirements: Record<string, string>, availablePackages: Map<string, Package[]>): Map<string, Package> | null;
    private reset;
    private createVariables;
    private addRequirementConstraints;
    private addDependencyConstraints;
    private addConflictConstraints;
    private addUniqueVersionConstraints;
    private dpll;
    private unitPropagate;
    private allClausesSatisfied;
    private chooseVariable;
    private saveState;
    private restoreState;
    private extractSolution;
    private satisfiesSpec;
    private matchesConflict;
}
export {};
//# sourceMappingURL=sat-solver.d.ts.map