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

GitHub GitHub
Size 36.6M (36.4M (+184K))
Commits 11309 (11303 (+6))
Update Stats 0s ... 1m24s (40s * 10)
Last Change 2020-09-16 19:31:32
Last Check 2020-09-16 19:31:02
Created 2019-10-12 14:07:00
Remotes
1. https://github.com/Boolector/boolector
Forks
1. https://github.com/5l1v3r1/boolector
2. https://github.com/aman-goel/boolector
3. https://github.com/andrewvaughanj/boolector
4. https://github.com/BrunoDutertre/boolector
5. https://github.com/dbueno/boolector
6. https://github.com/erthink/boolector
7. https://github.com/femigr/boolector
8. https://github.com/fvutils/boolector_pypi
9. https://github.com/inspier/boolector
10. https://github.com/jakobwenzel/boolector
11. https://github.com/jamesbornholt/boolector
12. https://github.com/jix/boolector
13. https://github.com/lijiaying/boolector
14. https://github.com/lonsing/boolector
15. https://github.com/makaimann/boolector
16. https://github.com/marcogario/boolector
17. https://github.com/maul-esel/boolector
18. https://github.com/mballance/boolector_win32
19. https://github.com/nakengelhardt/boolector
20. https://github.com/pablolevi/boolector
21. https://github.com/q3k/boolector
22. https://github.com/recoules/boolector
23. https://github.com/samysweb/boolector
24. https://github.com/sy6sy2/boolector

Messages as of last check on 2020-09-16 19:31:02

Operation

inspier/boolector
recoules/boolector
5l1v3r1/boolector
lonsing/boolector
nakengelhardt/boolector
femigr/boolector
jix/boolector
lijiaying/boolector
fvutils/boolector_pypi
mballance/boolector_win32
samysweb/boolector
q3k/boolector
BrunoDutertre/boolector
jakobwenzel/boolector
jamesbornholt/boolector
pablolevi/boolector
dbueno/boolector
sy6sy2/boolector
maul-esel/boolector
erthink/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-5l1v3r1   https://github.com/5l1v3r1/boolector (fetch)
m-vcs-github-fork-5l1v3r1   https://github.com/5l1v3r1/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-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-erthink   https://github.com/erthink/boolector (fetch)
m-vcs-github-fork-erthink   https://github.com/erthink/boolector (push)
m-vcs-github-fork-femigr    https://github.com/femigr/boolector (fetch)
m-vcs-github-fork-femigr    https://github.com/femigr/boolector (push)
m-vcs-github-fork-fvutils   https://github.com/fvutils/boolector_pypi (fetch)
m-vcs-github-fork-fvutils   https://github.com/fvutils/boolector_pypi (push)
m-vcs-github-fork-inspier   https://github.com/inspier/boolector (fetch)
m-vcs-github-fork-inspier   https://github.com/inspier/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-jix   https://github.com/jix/boolector (fetch)
m-vcs-github-fork-jix   https://github.com/jix/boolector (push)
m-vcs-github-fork-lijiaying https://github.com/lijiaying/boolector (fetch)
m-vcs-github-fork-lijiaying https://github.com/lijiaying/boolector (push)
m-vcs-github-fork-lonsing   https://github.com/lonsing/boolector (fetch)
m-vcs-github-fork-lonsing   https://github.com/lonsing/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_win32 (fetch)
m-vcs-github-fork-mballance https://github.com/mballance/boolector_win32 (push)
m-vcs-github-fork-nakengelhardt https://github.com/nakengelhardt/boolector (fetch)
m-vcs-github-fork-nakengelhardt https://github.com/nakengelhardt/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-recoules  https://github.com/recoules/boolector (fetch)
m-vcs-github-fork-recoules  https://github.com/recoules/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-sy6sy2    https://github.com/sy6sy2/boolector (fetch)
m-vcs-github-fork-sy6sy2    https://github.com/sy6sy2/boolector (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector
m-vcs-github-fork-5l1v3r1
m-vcs-github-fork-BrunoDutertre
m-vcs-github-fork-aman-goel
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-dbueno
m-vcs-github-fork-erthink
m-vcs-github-fork-femigr
m-vcs-github-fork-fvutils
m-vcs-github-fork-inspier
m-vcs-github-fork-jakobwenzel
m-vcs-github-fork-jamesbornholt
m-vcs-github-fork-jix
m-vcs-github-fork-lijiaying
m-vcs-github-fork-lonsing
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-nakengelhardt
m-vcs-github-fork-pablolevi
m-vcs-github-fork-q3k
m-vcs-github-fork-recoules
m-vcs-github-fork-samysweb
m-vcs-github-fork-sy6sy2
11303
Fetching m-vcs-github-fork-jamesbornholt
Fetching m-vcs-github-fork-aman-goel
Fetching m-vcs-github-fork-jakobwenzel
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-maul-esel
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-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector
Fetching m-vcs-github-fork-erthink
Fetching m-vcs-github-fork-fvutils
Fetching m-vcs-github-fork-lijiaying
Fetching m-vcs-github-fork-jix
Fetching m-vcs-github-fork-femigr
Fetching m-vcs-github-fork-lonsing
Fetching m-vcs-github-fork-nakengelhardt
Fetching m-vcs-github-fork-mballance
Fetching m-vcs-github-fork-pablolevi
Fetching m-vcs-github-fork-q3k
Fetching m-vcs-github-fork-samysweb
Fetching m-vcs-github-fork-inspier
Fetching m-vcs-github-fork-5l1v3r1
Fetching m-vcs-github-fork-recoules
Fetching m-vcs-github-fork-sy6sy2

From https://github.com/andrewvaughanj/boolector
 + b313fcdf...de0c1a43 mkenums    -> m-vcs-github-fork-andrewvaughanj/mkenums  (forced update)
From https://github.com/Boolector/boolector
 + caf913df...5969a241 get-value  -> m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector/get-value  (forced update)
   03d76134..95859db8  master     -> m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector/master
From https://github.com/fvutils/boolector_pypi
   57083da5..a97e3428  master     -> m-vcs-github-fork-fvutils/master
11309

Contact information

Mail to Andreas Kupries