Build.PL
Changes
LICENSE
META.json
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
META.yml
MANIFEST