Algorithm-SAT-Backtracking 0.10
- Released by
- MUDLER
- Version
- Release Date
- 2015-01-31
- Kwalitee
- 153.12
- Core Kwalitee
- 96.88
- LINKS
Algorithm-SAT-Backtracking 0.10
Kwalitee Issues
This is not the latest release. The following issues may have already been fixed in the newer releases.
- 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.10 | 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> | metacpan |