GitHub - n0x32schneider/satsolving

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
LICENSE		LICENSE
README		README
algorithms.py		algorithms.py
anmerkungen.txt		anmerkungen.txt
checking.py		checking.py
cnfparser.py		cnfparser.py
decisionheuristics.py		decisionheuristics.py
helper.py		helper.py
test.cnf		test.cnf

Repository files navigation

start checks in checking.py

Available algorithms:

dpll_backtracking 
dpll_implicationgraph (probably not working yet)

No description, website, or topics provided.

No releases published

No packages published