A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.@gh - Boolector

GitHub GitHub
Size 29.2M (29.2M (+16K))
Commits 10762 (10761 (+1))
Update Stats 21s ... 1m (22s * 10)
Last Change 2019-12-05 08:11:42
Last Check 2019-12-08 06:31:01
Created 2019-10-12 14:07:00
Remotes
1. https://github.com/Boolector/boolector
Forks
1. https://github.com/aman-goel/boolector
2. https://github.com/andrewvaughanj/boolector
3. https://github.com/BrunoDutertre/boolector
4. https://github.com/dbueno/boolector
5. https://github.com/jakobwenzel/boolector
6. https://github.com/jamesbornholt/boolector
7. https://github.com/leo-yuriev/boolector
8. https://github.com/makaimann/boolector
9. https://github.com/marcogario/boolector
10. https://github.com/maul-esel/boolector
11. https://github.com/mballance/boolector
12. https://github.com/pablolevi/boolector
13. https://github.com/q3k/boolector
14. https://github.com/samysweb/boolector
15. https://github.com/SylvainCecchetto/boolector
16. https://github.com/yuex1994/boolector

Messages as of last check on 2019-12-08 06:31:01

Operation

mballance/boolector
samysweb/boolector
q3k/boolector
BrunoDutertre/boolector
jakobwenzel/boolector
yuex1994/boolector
jamesbornholt/boolector
pablolevi/boolector
dbueno/boolector
SylvainCecchetto/boolector
maul-esel/boolector
leo-yuriev/boolector
aman-goel/boolector
makaimann/boolector
marcogario/boolector
andrewvaughanj/boolector
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector  https://github.com/Boolector/boolector (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector  https://github.com/Boolector/boolector (push)
m-vcs-github-fork-BrunoDutertre https://github.com/BrunoDutertre/boolector (fetch)
m-vcs-github-fork-BrunoDutertre https://github.com/BrunoDutertre/boolector (push)
m-vcs-github-fork-SylvainCecchetto  https://github.com/SylvainCecchetto/boolector (fetch)
m-vcs-github-fork-SylvainCecchetto  https://github.com/SylvainCecchetto/boolector (push)
m-vcs-github-fork-aman-goel https://github.com/aman-goel/boolector (fetch)
m-vcs-github-fork-aman-goel https://github.com/aman-goel/boolector (push)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/boolector (fetch)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/boolector (push)
m-vcs-github-fork-dbueno    https://github.com/dbueno/boolector (fetch)
m-vcs-github-fork-dbueno    https://github.com/dbueno/boolector (push)
m-vcs-github-fork-jakobwenzel   https://github.com/jakobwenzel/boolector (fetch)
m-vcs-github-fork-jakobwenzel   https://github.com/jakobwenzel/boolector (push)
m-vcs-github-fork-jamesbornholt https://github.com/jamesbornholt/boolector (fetch)
m-vcs-github-fork-jamesbornholt https://github.com/jamesbornholt/boolector (push)
m-vcs-github-fork-leo-yuriev    https://github.com/leo-yuriev/boolector (fetch)
m-vcs-github-fork-leo-yuriev    https://github.com/leo-yuriev/boolector (push)
m-vcs-github-fork-makaimann https://github.com/makaimann/boolector (fetch)
m-vcs-github-fork-makaimann https://github.com/makaimann/boolector (push)
m-vcs-github-fork-marcogario    https://github.com/marcogario/boolector (fetch)
m-vcs-github-fork-marcogario    https://github.com/marcogario/boolector (push)
m-vcs-github-fork-maul-esel https://github.com/maul-esel/boolector (fetch)
m-vcs-github-fork-maul-esel https://github.com/maul-esel/boolector (push)
m-vcs-github-fork-mballance https://github.com/mballance/boolector (fetch)
m-vcs-github-fork-mballance https://github.com/mballance/boolector (push)
m-vcs-github-fork-pablolevi https://github.com/pablolevi/boolector (fetch)
m-vcs-github-fork-pablolevi https://github.com/pablolevi/boolector (push)
m-vcs-github-fork-q3k   https://github.com/q3k/boolector (fetch)
m-vcs-github-fork-q3k   https://github.com/q3k/boolector (push)
m-vcs-github-fork-samysweb  https://github.com/samysweb/boolector (fetch)
m-vcs-github-fork-samysweb  https://github.com/samysweb/boolector (push)
m-vcs-github-fork-yuex1994  https://github.com/yuex1994/boolector (fetch)
m-vcs-github-fork-yuex1994  https://github.com/yuex1994/boolector (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector
m-vcs-github-fork-BrunoDutertre
m-vcs-github-fork-SylvainCecchetto
m-vcs-github-fork-aman-goel
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-dbueno
m-vcs-github-fork-jakobwenzel
m-vcs-github-fork-jamesbornholt
m-vcs-github-fork-leo-yuriev
m-vcs-github-fork-makaimann
m-vcs-github-fork-marcogario
m-vcs-github-fork-maul-esel
m-vcs-github-fork-mballance
m-vcs-github-fork-pablolevi
m-vcs-github-fork-q3k
m-vcs-github-fork-samysweb
m-vcs-github-fork-yuex1994
10762
Fetching m-vcs-github-fork-jamesbornholt
Fetching m-vcs-github-fork-aman-goel
Fetching m-vcs-github-fork-leo-yuriev
Fetching m-vcs-github-fork-samysweb
Fetching m-vcs-github-fork-jakobwenzel
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-maul-esel
Fetching m-vcs-github-fork-mballance
Fetching m-vcs-github-fork-SylvainCecchetto
Fetching m-vcs-github-fork-yuex1994
Fetching m-vcs-github-fork-marcogario
Fetching m-vcs-github-fork-makaimann
Fetching m-vcs-github-fork-dbueno
Fetching m-vcs-github-fork-BrunoDutertre
Fetching m-vcs-github-fork-pablolevi
Fetching m-vcs-github-fork-q3k
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector
10762

Contact information

Mail to Andreas Kupries