shiny-spoon

CNF-SAT (toy) solver

Procedure for checking satisfiability.

The repository name was a GitHub suggestion.

The current implementation and test runners can be found in resolution.py (with supporting functions in sat.py).

Name		Name	Last commit message	Last commit date
Latest commit History 108 Commits
docs		docs
examples		examples
LICENSE		LICENSE
README.md		README.md
dimacs.py		dimacs.py
main.py		main.py
php.py		php.py
resolution.py		resolution.py
sat.py		sat.py
waerden.py		waerden.py

Provide feedback