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

ATTEND GitHub GitHub
Size 764K (760K (+4K))
Commits -1 (8 (-9))
Update Stats 0s ... 14s (0s * 10)
Last Change 2019-10-12 14:08:50
Last Check 2020-07-07 10:51:01
Created 2019-10-12 14:08:50
Remotes
1. https://github.com/conp-solutions/minisat-2
Forks
1. https://github.com/arminbiere/minisat

Messages as of last check on 2020-07-07 10:51:01

Operation

Verifying urls ...

Notes & Errors

Bad url: https://github.com/conp-solutions/minisat-2
Unable to reach remotes

Contact information

Mail to Andreas Kupries