GitHub topics: cryptominisat5
cipherboy/cmsh
High-level interfaces over @msoos's CryptoMiniSat.
Language: Python - Size: 357 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0
GabrieleMaurina/sudoku-sat
A c++ sudoku solver based on Cryptominisat
Language: C++ - Size: 9.77 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
