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

GitHub GitHub
Size 732K (0K (+732K))
Commits 8 (0 (+8))
Update Stats 2s ... 5s (3s * 10)
Last Change 2019-10-12 14:08:50
Last Check 2019-12-15 18:51:02
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 2019-12-15 18:51:02

Operation

arminbiere/minisat
m-vcs-git-https%3a%2f%2fgithub.com%2fconp-solutions%2fminisat-2 https://github.com/conp-solutions/minisat-2 (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fconp-solutions%2fminisat-2 https://github.com/conp-solutions/minisat-2 (push)
m-vcs-github-fork-arminbiere    https://github.com/arminbiere/minisat (fetch)
m-vcs-github-fork-arminbiere    https://github.com/arminbiere/minisat (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fconp-solutions%2fminisat-2
m-vcs-github-fork-arminbiere
8
Fetching m-vcs-github-fork-arminbiere
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fconp-solutions%2fminisat-2
8

Contact information

Mail to Andreas Kupries