CaDiCaL SAT Solver - Armin Biere - arminbiere

GitHub GitHub
Size 8.1M (8.1M (+4K))
Commits 1311 (1310 (+1))
Update Stats 19s ... 1m28s (39s * 10)
Last Change 2020-06-20 15:32:15
Last Check 2020-07-02 06:31: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/alan23273850/cadical
3. https://github.com/andrewvaughanj/cadical
4. https://github.com/arey0pushpa/cadical
5. https://github.com/arijitsh/cadical
6. https://github.com/BrunoDutertre/cadical
7. https://github.com/Coder-256/cadical
8. https://github.com/curtisbright/cadical
9. https://github.com/deiruch/cadical
10. https://github.com/digama0/cadical
11. https://github.com/habemus-papadum/cadical
12. https://github.com/henrikt-ma/cadical
13. https://github.com/j29scott/cadical
14. https://github.com/jamesbornholt/cadical
15. https://github.com/johnfxgalea/cadical
16. https://github.com/m-fleury/cadical
17. https://github.com/mgudemann/cadical
18. https://github.com/miquelramirez/cadical
19. https://github.com/mpreiner/cadical
20. https://github.com/omer-g/cadical
21. https://github.com/PetterS/cadical
22. https://github.com/q3k/cadical
23. https://github.com/shenjiangqiu/cadical
24. https://github.com/SpeedyBK/cadical
25. https://github.com/SRI-CSL/cadical
26. https://github.com/Vishalsng112/cadical

Messages as of last check on 2020-07-02 06:31:01

Operation

johnfxgalea/cadical
curtisbright/cadical
m-fleury/cadical
alan23273850/cadical
SRI-CSL/cadical
Vishalsng112/cadical
j29scott/cadical
deiruch/cadical
shenjiangqiu/cadical
omer-g/cadical
digama0/cadical
SpeedyBK/cadical
Coder-256/cadical
arijitsh/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-SRI-CSL   https://github.com/SRI-CSL/cadical (fetch)
m-vcs-github-fork-SRI-CSL   https://github.com/SRI-CSL/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-Vishalsng112  https://github.com/Vishalsng112/cadical (fetch)
m-vcs-github-fork-Vishalsng112  https://github.com/Vishalsng112/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-alan23273850  https://github.com/alan23273850/cadical (fetch)
m-vcs-github-fork-alan23273850  https://github.com/alan23273850/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-arijitsh  https://github.com/arijitsh/cadical (fetch)
m-vcs-github-fork-arijitsh  https://github.com/arijitsh/cadical (push)
m-vcs-github-fork-curtisbright  https://github.com/curtisbright/cadical (fetch)
m-vcs-github-fork-curtisbright  https://github.com/curtisbright/cadical (push)
m-vcs-github-fork-deiruch   https://github.com/deiruch/cadical (fetch)
m-vcs-github-fork-deiruch   https://github.com/deiruch/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-j29scott  https://github.com/j29scott/cadical (fetch)
m-vcs-github-fork-j29scott  https://github.com/j29scott/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-johnfxgalea   https://github.com/johnfxgalea/cadical (fetch)
m-vcs-github-fork-johnfxgalea   https://github.com/johnfxgalea/cadical (push)
m-vcs-github-fork-m-fleury  https://github.com/m-fleury/cadical (fetch)
m-vcs-github-fork-m-fleury  https://github.com/m-fleury/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-github-fork-shenjiangqiu  https://github.com/shenjiangqiu/cadical (fetch)
m-vcs-github-fork-shenjiangqiu  https://github.com/shenjiangqiu/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-SRI-CSL
m-vcs-github-fork-SpeedyBK
m-vcs-github-fork-Vishalsng112
m-vcs-github-fork-acreter
m-vcs-github-fork-alan23273850
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-arey0pushpa
m-vcs-github-fork-arijitsh
m-vcs-github-fork-curtisbright
m-vcs-github-fork-deiruch
m-vcs-github-fork-digama0
m-vcs-github-fork-habemus-papadum
m-vcs-github-fork-henrikt-ma
m-vcs-github-fork-j29scott
m-vcs-github-fork-jamesbornholt
m-vcs-github-fork-johnfxgalea
m-vcs-github-fork-m-fleury
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
m-vcs-github-fork-shenjiangqiu
1311
Fetching m-vcs-github-fork-henrikt-ma
Fetching m-vcs-github-fork-jamesbornholt
Fetching m-vcs-github-fork-mgudemann
Fetching m-vcs-github-fork-acreter
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2farminbiere%2fcadical
Fetching m-vcs-github-fork-j29scott
Fetching m-vcs-github-fork-alan23273850
Fetching m-vcs-github-fork-shenjiangqiu
Fetching m-vcs-github-fork-mpreiner
Fetching m-vcs-github-fork-miquelramirez
Fetching m-vcs-github-fork-omer-g
Fetching m-vcs-github-fork-PetterS
Fetching m-vcs-github-fork-q3k
Fetching m-vcs-github-fork-SRI-CSL
Fetching m-vcs-github-fork-Vishalsng112
Fetching m-vcs-github-fork-SpeedyBK
Fetching m-vcs-github-fork-m-fleury
Fetching m-vcs-github-fork-deiruch
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-BrunoDutertre
Fetching m-vcs-github-fork-arijitsh
Fetching m-vcs-github-fork-habemus-papadum
Fetching m-vcs-github-fork-arey0pushpa
Fetching m-vcs-github-fork-digama0
Fetching m-vcs-github-fork-Coder-256
Fetching m-vcs-github-fork-curtisbright
Fetching m-vcs-github-fork-johnfxgalea

From https://github.com/arijitsh/cadical
 * [new branch]      lazy-propagation -> m-vcs-github-fork-arijitsh/lazy-propagation
1311

Contact information

Mail to Andreas Kupries