Algorithm-SAT-Backtracking 0.09
Kwalitee Issues
- use_strict
-
Add 'use strict' (or its equivalents) to all modules, or convince us that your favorite module is well-known enough and people can easily see the modules are strictly written.
Error: Algorithm::SAT::Backtracking::DPLL, Algorithm::SAT::Backtracking::DPLLProb, Algorithm::SAT::Backtracking::Ordered, Algorithm::SAT::Backtracking::Ordered::DPLL
- use_warnings
-
Add 'use warnings' (or its equivalents) to all modules, or convince us that your favorite module is well-known enough and people can easily see the modules warn when something bad happens.
Error: Algorithm::SAT::Backtracking::DPLL, Algorithm::SAT::Backtracking::DPLLProb, Algorithm::SAT::Backtracking::Ordered, Algorithm::SAT::Backtracking::Ordered::DPLL
Modules
Name | Abstract | Version | View |
---|---|---|---|
Algorithm::SAT::Backtracking | A simple Backtracking SAT solver written in pure Perl | 0.09 | metacpan |
Algorithm::SAT::Backtracking::DPLL | A DPLL Backtracking SAT solver written in pure Perl | metacpan | |
Algorithm::SAT::Backtracking::DPLLProb | A DPLL Probabilistic Backtracking SAT solver written in pure Perl | metacpan | |
Algorithm::SAT::Backtracking::Ordered | A simple Backtracking SAT ordered implementation | metacpan | |
Algorithm::SAT::Backtracking::Ordered::DPLL | A DPLL Backtracking SAT ordered implementation | metacpan | |
Algorithm::SAT::Expression | A class that represent an expression for L<Algorithm::SAT::Backtracking> | 0.09 | metacpan |