Algorithm-SAT-Backtracking 0.11
- Released by
- MUDLER
- Version
- Release Date
- 2015-01-31
- Kwalitee
- 153.12
- Core Kwalitee
- 96.88
- LINKS
Algorithm-SAT-Backtracking 0.11
Files
- Build.PL
- Changes
- LICENSE
- MANIFEST
- META.json
- META.yml
- README.md
- b/0-benchmark.b
- cpanfile
- lib/Algorithm/SAT/Backtracking.pm
- lib/Algorithm/SAT/Backtracking/DPLL.pm
- lib/Algorithm/SAT/Backtracking/DPLLProb.pm
- lib/Algorithm/SAT/Backtracking/Ordered.pm
- lib/Algorithm/SAT/Backtracking/Ordered/DPLL.pm
- lib/Algorithm/SAT/Expression.pm
- minil.toml
- t/00_compile.t
- t/01_backtrack.t
- t/02_expression.t
- t/03_expressiondpll.t
- t/04_expressiondpllprob.t
- t/05_ordered.t
- t/06_ordered_dpll.t