/ 
Algorithm-SAT-Backtracking-0.07
River stage zero No dependents

Changes for version 0.07 - 2015-01-25

  • Added DPLL Ordered variant, keeps hash ordering when building the solution
  • updating POD

Modules

Algorithm::SAT::Backtracking
A simple Backtracking SAT solver written in pure Perl
Algorithm::SAT::Backtracking::DPLL
A DPLL Backtracking SAT solver written in pure Perl
Algorithm::SAT::Backtracking::Ordered
A simple Backtracking SAT ordered implementation
Algorithm::SAT::Backtracking::Ordered::DPLL
A DPLL Backtracking SAT ordered implementation
Algorithm::SAT::Expression
A class that represent an expression for Algorithm::SAT::Backtracking

Provides

Algorithm::SAT::Backtracking::DPLLProb
in lib/Algorithm/SAT/Backtracking/DPLLProb.pm

Other files