Projects in Awesome Lists tagged with cnf-encoding
A curated list of projects in awesome lists tagged with cnf-encoding .
https://github.com/maxtuno/slime-sat-solver
A Free World Class High Performance SAT Solver
cnf cnf-clauses cnf-encoding sat sat-solver satisfiability
Last synced: 08 Oct 2025
https://github.com/average-user/lec
Transformer of propositional logic expressions to CNF and DNF
cnf cnf-encoding haskell logic
Last synced: 07 Sep 2025
