++ed by:
FUKAI

1 PAUSE user
1 non-PAUSE user.

Author image Ettore Di Giacinto
and 1 contributors

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