Files

• Build.PL
• Changes
• LICENSE
• MANIFEST
• META.json
• META.yml
• README.md
• b/0-or.b
• b/1-xor.b
• b/2-and.b
• b/3-or-xor.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