Module: DpllSolver

Defined in:

lib/dpll_solver.rb,
lib/dpll_solver/version.rb,
lib/dpll_solver/formulas/or.rb,
lib/dpll_solver/formulas/and.rb,
lib/dpll_solver/formulas/not.rb,
lib/dpll_solver/formulas/verum.rb,
lib/dpll_solver/parsers/parser.rb,
lib/dpll_solver/formulas/clause.rb,
lib/dpll_solver/formulas/falsum.rb,
lib/dpll_solver/formulas/literal.rb,
lib/dpll_solver/formulas/variable.rb,
lib/dpll_solver/parsers/dimacs_parser.rb,
lib/dpll_solver/heuristics/most_frequent_literal.rb

Defined Under Namespace

Modules: Formulas, Heuristics, Parsers Classes: DPLL, Util

Constant Summary

VERSION =

"0.0.1"