microsat SAT solver - marijnheule

GitHub GitHub
Size 1.5M (1.5M (-4K))
Commits 106 (-1 (+107))
Update Stats 0s ... 49s (16s * 10)
Last Change 2020-06-04 14:11:42
Last Check 2020-07-10 03:51:01
Created 2019-10-12 14:08:31
Remotes
1. https://github.com/marijnheule/microsat
Forks
1. https://github.com/Agahlot/microsat
2. https://github.com/arminbiere/microsat
3. https://github.com/benjaminkiesl/microsat
4. https://github.com/darrenrhea/microsat
5. https://github.com/eluanshi7/microsat
6. https://github.com/glnc/microsat
7. https://github.com/graydon/microsat
8. https://github.com/grosa1/microsat
9. https://github.com/ostera/microsat
10. https://github.com/pyzh/microsat
11. https://github.com/rainoftime/microsat
12. https://github.com/rusydi/microsat
13. https://github.com/waywardmonkeys/microsat

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

Operation

benjaminkiesl/microsat
eluanshi7/microsat
grosa1/microsat
darrenrhea/microsat
ostera/microsat
graydon/microsat
pyzh/microsat
rainoftime/microsat
glnc/microsat
waywardmonkeys/microsat
arminbiere/microsat
Agahlot/microsat
rusydi/microsat
m-vcs-git-https%3a%2f%2fgithub.com%2fmarijnheule%2fmicrosat https://github.com/marijnheule/microsat (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fmarijnheule%2fmicrosat https://github.com/marijnheule/microsat (push)
m-vcs-github-fork-Agahlot   https://github.com/Agahlot/microsat (fetch)
m-vcs-github-fork-Agahlot   https://github.com/Agahlot/microsat (push)
m-vcs-github-fork-arminbiere    https://github.com/arminbiere/microsat (fetch)
m-vcs-github-fork-arminbiere    https://github.com/arminbiere/microsat (push)
m-vcs-github-fork-benjaminkiesl https://github.com/benjaminkiesl/microsat (fetch)
m-vcs-github-fork-benjaminkiesl https://github.com/benjaminkiesl/microsat (push)
m-vcs-github-fork-darrenrhea    https://github.com/darrenrhea/microsat (fetch)
m-vcs-github-fork-darrenrhea    https://github.com/darrenrhea/microsat (push)
m-vcs-github-fork-eluanshi7 https://github.com/eluanshi7/microsat (fetch)
m-vcs-github-fork-eluanshi7 https://github.com/eluanshi7/microsat (push)
m-vcs-github-fork-glnc  https://github.com/glnc/microsat (fetch)
m-vcs-github-fork-glnc  https://github.com/glnc/microsat (push)
m-vcs-github-fork-graydon   https://github.com/graydon/microsat (fetch)
m-vcs-github-fork-graydon   https://github.com/graydon/microsat (push)
m-vcs-github-fork-grosa1    https://github.com/grosa1/microsat (fetch)
m-vcs-github-fork-grosa1    https://github.com/grosa1/microsat (push)
m-vcs-github-fork-ostera    https://github.com/ostera/microsat (fetch)
m-vcs-github-fork-ostera    https://github.com/ostera/microsat (push)
m-vcs-github-fork-pyzh  https://github.com/pyzh/microsat (fetch)
m-vcs-github-fork-pyzh  https://github.com/pyzh/microsat (push)
m-vcs-github-fork-rainoftime    https://github.com/rainoftime/microsat (fetch)
m-vcs-github-fork-rainoftime    https://github.com/rainoftime/microsat (push)
m-vcs-github-fork-rusydi    https://github.com/rusydi/microsat (fetch)
m-vcs-github-fork-rusydi    https://github.com/rusydi/microsat (push)
m-vcs-github-fork-waywardmonkeys    https://github.com/waywardmonkeys/microsat (fetch)
m-vcs-github-fork-waywardmonkeys    https://github.com/waywardmonkeys/microsat (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fmarijnheule%2fmicrosat
m-vcs-github-fork-Agahlot
m-vcs-github-fork-arminbiere
m-vcs-github-fork-benjaminkiesl
m-vcs-github-fork-darrenrhea
m-vcs-github-fork-eluanshi7
m-vcs-github-fork-glnc
m-vcs-github-fork-graydon
m-vcs-github-fork-grosa1
m-vcs-github-fork-ostera
m-vcs-github-fork-pyzh
m-vcs-github-fork-rainoftime
m-vcs-github-fork-rusydi
m-vcs-github-fork-waywardmonkeys
106
Fetching m-vcs-github-fork-pyzh
Fetching m-vcs-github-fork-Agahlot
Fetching m-vcs-github-fork-darrenrhea
Fetching m-vcs-github-fork-glnc
Fetching m-vcs-github-fork-graydon
Fetching m-vcs-github-fork-rusydi
Fetching m-vcs-github-fork-waywardmonkeys
Fetching m-vcs-github-fork-arminbiere
Fetching m-vcs-github-fork-ostera
Fetching m-vcs-github-fork-rainoftime
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fmarijnheule%2fmicrosat
Fetching m-vcs-github-fork-grosa1
Fetching m-vcs-github-fork-eluanshi7
Fetching m-vcs-github-fork-benjaminkiesl
106

Contact information

Mail to Andreas Kupries