Store 413


Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions - conp-solutions


GitHub		https://github.com/conp-solutions/minisat-2
Size		1.3M (1.3M (+20K))
Commits		411 (-1 (+412))
Update Stats		0s ... 56s [Ø (last 10) 1s (1,1,1,1,1,0,1,1,1,1))]
Last Change		2021-01-12 21:13:18
Last Check		2025-06-28 14:16:38
Created		2019-10-12 23:08:50

Messages as of last check on 2025-06-28 14:16:38

Operation

Verifying url ...