mister-bailey/RandSAT
Generates random SAT problems. Runs in a parallel thread. Interfaces with Python. (Used for training SAT solvers.)
C++
Generates random SAT problems. Runs in a parallel thread. Interfaces with Python. (Used for training SAT solvers.)
C++