bigbug / concealsatgen Goto Github PK
View Code? Open in Web Editor NEWThis project forked from florianwoerz/concealsatgen
Generates hard satisfiable CNF formulas in DIMACS format with a known solution. Authors: Jan-Hendrik Lorenz and Florian Wörz.
License: Other