propositional/lib/cnf/dpll.d.ts

Propositional logic symbolic computation library

import { CNFFormula } from './cnfExpression';
export declare function dpll(formula: CNFFormula): {
    [key: string]: boolean;
};