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
Implementation of CDCL SAT solver in Python
Codes and experimental results for paper《Computing Minimal Model Based on MiniSAT》
Add a description, image, and links to the cnf-formula topic page so that developers can more easily learn about it.
To associate your repository with the cnf-formula topic, visit your repo's landing page and select "manage topics."