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
Errors
- use_strict
- Algorithm::SAT::Backtracking::DPLL, Algorithm::SAT::Backtracking::DPLLProb, Algorithm::SAT::Backtracking::Ordered, Algorithm::SAT::Backtracking::Ordered::DPLL
- use_warnings
- Algorithm::SAT::Backtracking::DPLL, Algorithm::SAT::Backtracking::DPLLProb, Algorithm::SAT::Backtracking::Ordered, Algorithm::SAT::Backtracking::Ordered::DPLL