Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
2SAT.cnf
2SAT.csv
2sat-kopp-fabian.py
backtrack-kopp-fabian.py
brute-kopp-fabian.py
kSAT.cnf
kSAT_backtrack.csv
kSAT_brute.csv
kSATu.cnf
kSATu_backtrack.csv
kSATu_brute.csv
sudoku.cnf
sudoku.csv
threaded-kopp-fabian.py
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.