Name		Name	Last commit message	Last commit date
sudoku		sudoku
.gitignore		.gitignore
KR-Ass1-SATSolver-edit.ipynb		KR-Ass1-SATSolver-edit.ipynb
README.md		README.md
SAT.py		SAT.py
functions.py		functions.py
heuristics.py		heuristics.py
literalmethods.py		literalmethods.py
stats.ipynb		stats.ipynb
util.py		util.py

Repository files navigation

SATSolver

Satsolver for solving DIMACS clauses :)

About

Satsolver for solving DIMACS clauses :)

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages