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

Changes for version 0.05 - 2015-01-23

  • code refactoring, added DPLL variant

Modules

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

Provides

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

Other files