/RandSAT

Generates random SAT problems. Runs in a parallel thread. Interfaces with Python. (Used for training SAT solvers.)

Primary LanguageC++

Stargazers