Toggle navigation
Mirror (Self)
↗️Home
Issues
Disabled
Statistics
Projects
Contact
Spec
Search
Submit
Private
Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions - conp-solutions
VCS
#Forks
Repository
GitHub
0
https://github.com/conp-solutions/minisat-2
Contact information
Mail to
Andreas Kupries