Package eu.bandm.tools.dpll

package eu.bandm.tools.dpll
SAT solver according to Davis-Putnam-Logemann-Loveland.
  • Classes
    Class
    Description
    SAT<P>
    Solver for propositional formulas in conjunctive normal form.
    SAT.Clause<P>
    Disjunction of literals.
    SAT.Form<P>
    Conjunction of clauses.
    SAT.Literal<P>
    Optionally negated propositional variable.