CaDiCaL SAT Solver - Armin Biere - arminbiere

GitHub GitHub
Size 8.7M (8.7M (+8K))
Commits 1319 (1318 (+1))
Update Stats 0s ... 1m28s (41s * 10)
Last Change 2020-08-24 00:52:35
Last Check 2020-09-21 02:11:02
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/AryaGuo/cadical
7. https://github.com/askhatbaimukhamedov/cadical
8. https://github.com/BrunoDutertre/cadical
9. https://github.com/Coder-256/cadical
10. https://github.com/curtisbright/cadical
11. https://github.com/deiruch/cadical
12. https://github.com/digama0/cadical
13. https://github.com/DoOR-Team/cadical
14. https://github.com/habemus-papadum/cadical
15. https://github.com/henrikt-ma/cadical
16. https://github.com/InspectorDidi/cadical
17. https://github.com/j29scott/cadical
18. https://github.com/jamesbornholt/cadical
19. https://github.com/johnfxgalea/cadical
20. https://github.com/m-fleury/cadical
21. https://github.com/mballance/cadical_win32
22. https://github.com/mfkiwl/cadical
23. https://github.com/mgudemann/cadical
24. https://github.com/miquelramirez/cadical
25. https://github.com/mpreiner/cadical
26. https://github.com/MyskYko/cadical
27. https://github.com/omer-g/cadical
28. https://github.com/PetterS/cadical
29. https://github.com/q3k/cadical
30. https://github.com/shenjiangqiu/cadical
31. https://github.com/SpeedyBK/cadical
32. https://github.com/SRI-CSL/cadical
33. https://github.com/Vishalsng112/cadical

Messages as of last check on 2020-09-21 02:11:02

Operation

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

From https://github.com/AryaGuo/cadical
 * [new branch]      master     -> m-vcs-github-fork-AryaGuo/master
1319

Contact information

Mail to Andreas Kupries