Build.PL
Changes
LICENSE
META.json
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/Expression.pm
minil.toml
t/00_compile.t
t/01_backtrack.t
t/02_expression.t
t/03_expressiondpll.t
t/04_expressiondpllprob.t
META.yml
MANIFEST