CaDiCaL SAT Solver - Armin Biere - arminbiere

GitHub GitHub
Size 5.8M (5.8M (+20K))
Commits 1269 (1268 (+1))
Update Stats 19s ... 1m12s (22s * 10)
Last Change 2019-12-06 19:51:03
Last Check 2019-12-06 19:51:01
Created 2019-10-12 14:08:03
Remotes
1. https://github.com/arminbiere/cadical
Forks
1. https://github.com/acreter/cadical
2. https://github.com/andrewvaughanj/cadical
3. https://github.com/arey0pushpa/cadical
4. https://github.com/arijits17/cadical
5. https://github.com/BrunoDutertre/cadical
6. https://github.com/Coder-256/cadical
7. https://github.com/digama0/cadical
8. https://github.com/habemus-papadum/cadical
9. https://github.com/henrikt-ma/cadical
10. https://github.com/jamesbornholt/cadical
11. https://github.com/mgudemann/cadical
12. https://github.com/miquelramirez/cadical
13. https://github.com/mpreiner/cadical
14. https://github.com/omer-g/cadical
15. https://github.com/PetterS/cadical
16. https://github.com/q3k/cadical
17. https://github.com/SpeedyBK/cadical

Messages as of last check on 2019-12-06 19:51:01

Operation

omer-g/cadical
digama0/cadical
SpeedyBK/cadical
Coder-256/cadical
arijits17/cadical
miquelramirez/cadical
q3k/cadical
acreter/cadical
BrunoDutertre/cadical
jamesbornholt/cadical
arey0pushpa/cadical
henrikt-ma/cadical
andrewvaughanj/cadical
mgudemann/cadical
mpreiner/cadical
PetterS/cadical
habemus-papadum/cadical
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2fcadical   https://github.com/arminbiere/cadical (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2fcadical   https://github.com/arminbiere/cadical (push)
m-vcs-github-fork-BrunoDutertre https://github.com/BrunoDutertre/cadical (fetch)
m-vcs-github-fork-BrunoDutertre https://github.com/BrunoDutertre/cadical (push)
m-vcs-github-fork-Coder-256 https://github.com/Coder-256/cadical (fetch)
m-vcs-github-fork-Coder-256 https://github.com/Coder-256/cadical (push)
m-vcs-github-fork-PetterS   https://github.com/PetterS/cadical (fetch)
m-vcs-github-fork-PetterS   https://github.com/PetterS/cadical (push)
m-vcs-github-fork-SpeedyBK  https://github.com/SpeedyBK/cadical (fetch)
m-vcs-github-fork-SpeedyBK  https://github.com/SpeedyBK/cadical (push)
m-vcs-github-fork-acreter   https://github.com/acreter/cadical (fetch)
m-vcs-github-fork-acreter   https://github.com/acreter/cadical (push)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/cadical (fetch)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/cadical (push)
m-vcs-github-fork-arey0pushpa   https://github.com/arey0pushpa/cadical (fetch)
m-vcs-github-fork-arey0pushpa   https://github.com/arey0pushpa/cadical (push)
m-vcs-github-fork-arijits17 https://github.com/arijits17/cadical (fetch)
m-vcs-github-fork-arijits17 https://github.com/arijits17/cadical (push)
m-vcs-github-fork-digama0   https://github.com/digama0/cadical (fetch)
m-vcs-github-fork-digama0   https://github.com/digama0/cadical (push)
m-vcs-github-fork-habemus-papadum   https://github.com/habemus-papadum/cadical (fetch)
m-vcs-github-fork-habemus-papadum   https://github.com/habemus-papadum/cadical (push)
m-vcs-github-fork-henrikt-ma    https://github.com/henrikt-ma/cadical (fetch)
m-vcs-github-fork-henrikt-ma    https://github.com/henrikt-ma/cadical (push)
m-vcs-github-fork-jamesbornholt https://github.com/jamesbornholt/cadical (fetch)
m-vcs-github-fork-jamesbornholt https://github.com/jamesbornholt/cadical (push)
m-vcs-github-fork-mgudemann https://github.com/mgudemann/cadical (fetch)
m-vcs-github-fork-mgudemann https://github.com/mgudemann/cadical (push)
m-vcs-github-fork-miquelramirez https://github.com/miquelramirez/cadical (fetch)
m-vcs-github-fork-miquelramirez https://github.com/miquelramirez/cadical (push)
m-vcs-github-fork-mpreiner  https://github.com/mpreiner/cadical (fetch)
m-vcs-github-fork-mpreiner  https://github.com/mpreiner/cadical (push)
m-vcs-github-fork-omer-g    https://github.com/omer-g/cadical (fetch)
m-vcs-github-fork-omer-g    https://github.com/omer-g/cadical (push)
m-vcs-github-fork-q3k   https://github.com/q3k/cadical (fetch)
m-vcs-github-fork-q3k   https://github.com/q3k/cadical (push)
m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2fcadical
m-vcs-github-fork-BrunoDutertre
m-vcs-github-fork-Coder-256
m-vcs-github-fork-PetterS
m-vcs-github-fork-SpeedyBK
m-vcs-github-fork-acreter
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-arey0pushpa
m-vcs-github-fork-arijits17
m-vcs-github-fork-digama0
m-vcs-github-fork-habemus-papadum
m-vcs-github-fork-henrikt-ma
m-vcs-github-fork-jamesbornholt
m-vcs-github-fork-mgudemann
m-vcs-github-fork-miquelramirez
m-vcs-github-fork-mpreiner
m-vcs-github-fork-omer-g
m-vcs-github-fork-q3k
1268
Fetching m-vcs-github-fork-henrikt-ma
Fetching m-vcs-github-fork-arey0pushpa
Fetching m-vcs-github-fork-habemus-papadum
Fetching m-vcs-github-fork-BrunoDutertre
Fetching m-vcs-github-fork-arijits17
Fetching m-vcs-github-fork-q3k
Fetching m-vcs-github-fork-Coder-256
Fetching m-vcs-github-fork-jamesbornholt
Fetching m-vcs-github-fork-mpreiner
Fetching m-vcs-github-fork-mgudemann
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-acreter
Fetching m-vcs-github-fork-miquelramirez
Fetching m-vcs-github-fork-PetterS
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2fcadical
Fetching m-vcs-github-fork-SpeedyBK
Fetching m-vcs-github-fork-digama0
Fetching m-vcs-github-fork-omer-g

From https://github.com/acreter/cadical
   c621844..c8725be  master     -> m-vcs-github-fork-acreter/master
1269

Contact information

Mail to Andreas Kupries