++ed by:
FUKAI
1 non-PAUSE user
Author image Ettore Di Giacinto
and 1 contributors

Changes for version 0.13 - 2015-02-06

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

Modules

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