Store 413

Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions - conp-solutions
GitHub 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,0,0,1,1,1,1))]
Last Change 2021-01-12 21:13:18
Last Check 2023-09-16 12:26:34
Created 2019-10-12 23:08:50

Messages as of last check on 2023-09-16 12:26:34

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries