There is an ongoing outage on the primary CPAN mirror. It is possible to work around the issue by using MetaCPAN as a mirror.

 / 
Algorithm-SAT-Backtracking-0.13
River stage zero No dependents
⭐ Starred 2 GitHub stars

Changes for version 0.13 - 2015-02-06

  • small code enhancements to speed up the computation, POD fixes

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::DPLLProb
A DPLL Probabilistic 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

Other files