#
nnf
Here are 4 public repositories matching this topic...
Build logical theories for SAT solvers on the fly
-
Updated
Sep 11, 2024 - Python
Implementation of CDCL SAT solver in Python
formula sat-solver nnf unit-propagation cnf-formula tseitin-encoding cdcl-solver dpll-solver dimacs-format dimacs-formula
-
Updated
Dec 13, 2020 - Python
Add this topic to your repo
To associate your repository with the nnf topic, visit your repo's landing page and select "manage topics."