Geeks
dangbert
/
SAT
SAT solver (general purpose), tested on Sudoku
Primary Language
Python
SAT GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
alexandru-dochian
Sigarch Technologies S.R.L.
Good4lien
Moscow, Russia