| Algorithm::SAT::Backtracking |
A simple Backtracking SAT solver written in pure Perl |
0.13 |
metacpan |
| Algorithm::SAT::Backtracking::DPLL |
A DPLL Backtracking SAT solver written in pure Perl |
0.13 |
metacpan |
| Algorithm::SAT::Backtracking::DPLLProb |
A DPLL Probabilistic Backtracking SAT solver written in pure Perl |
0.13 |
metacpan |
| Algorithm::SAT::Backtracking::Ordered |
A simple Backtracking SAT ordered implementation |
0.13 |
metacpan |
| Algorithm::SAT::Backtracking::Ordered::DPLL |
A DPLL Backtracking SAT ordered implementation |
0.13 |
metacpan |
| Algorithm::SAT::Expression |
A class that represent an expression for L<Algorithm::SAT::Backtracking> |
0.13 |
metacpan |
