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

GitHub GitHub
Size 35.6M (35.1M (+412K))
Commits 11239 (-1 (+11240))
Update Stats 0s ... 1m (35s * 10)
Last Change 2020-07-10 03:51:24
Last Check 2020-07-10 03:51: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/erthink/boolector
6. https://github.com/femigr/boolector
7. https://github.com/fvutils/boolector_pypi
8. https://github.com/jakobwenzel/boolector
9. https://github.com/jamesbornholt/boolector
10. https://github.com/jix/boolector
11. https://github.com/lijiaying/boolector
12. https://github.com/lonsing/boolector
13. https://github.com/makaimann/boolector
14. https://github.com/marcogario/boolector
15. https://github.com/maul-esel/boolector
16. https://github.com/mballance/boolector_win32
17. https://github.com/nakengelhardt/boolector
18. https://github.com/pablolevi/boolector
19. https://github.com/q3k/boolector
20. https://github.com/samysweb/boolector
21. https://github.com/SylvainCecchetto/boolector
22. https://github.com/yuex1994/boolector

Messages as of last check on 2020-07-10 03:51:01

Operation

lonsing/boolector
nakengelhardt/boolector
femigr/boolector
jix/boolector
lijiaying/boolector
fvutils/boolector_pypi
mballance/boolector_win32
samysweb/boolector
q3k/boolector
BrunoDutertre/boolector
jakobwenzel/boolector
yuex1994/boolector
jamesbornholt/boolector
pablolevi/boolector
dbueno/boolector
SylvainCecchetto/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-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-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-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-erthink
m-vcs-github-fork-femigr
m-vcs-github-fork-fvutils
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-samysweb
m-vcs-github-fork-yuex1994
11235
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-SylvainCecchetto
Fetching m-vcs-github-fork-nakengelhardt
Fetching m-vcs-github-fork-mballance
Fetching m-vcs-github-fork-pablolevi
Fetching m-vcs-github-fork-yuex1994
Fetching m-vcs-github-fork-q3k
Fetching m-vcs-github-fork-samysweb

From https://github.com/Boolector/boolector
 + de739668...0eafd0c0 bitblast-api -> m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fboolector/bitblast-api  (forced update)
From https://github.com/SylvainCecchetto/boolector
 * [new branch]        better-contrib-scripts -> m-vcs-github-fork-SylvainCecchetto/better-contrib-scripts
 * [new branch]        fix-model-value -> m-vcs-github-fork-SylvainCecchetto/fix-model-value
 * [new branch]        master     -> m-vcs-github-fork-SylvainCecchetto/master
 * [new branch]        prop       -> m-vcs-github-fork-SylvainCecchetto/prop
 * [new branch]        reduce-verbosity -> m-vcs-github-fork-SylvainCecchetto/reduce-verbosity
 * [new branch]        smt2-parser-cleanup -> m-vcs-github-fork-SylvainCecchetto/smt2-parser-cleanup
From https://github.com/nakengelhardt/boolector
 * [new branch]        actions-ci -> m-vcs-github-fork-nakengelhardt/actions-ci
 * [new branch]        bitblast-api -> m-vcs-github-fork-nakengelhardt/bitblast-api
 * [new branch]        btormc_seed_opt -> m-vcs-github-fork-nakengelhardt/btormc_seed_opt
 * [new branch]        get-value  -> m-vcs-github-fork-nakengelhardt/get-value
 * [new branch]        master     -> m-vcs-github-fork-nakengelhardt/master
 * [new branch]        really_stop_first -> m-vcs-github-fork-nakengelhardt/really_stop_first
 * [new branch]        test-azure -> m-vcs-github-fork-nakengelhardt/test-azure
From https://github.com/mballance/boolector_win32
 * [new branch]        actions-ci    -> m-vcs-github-fork-mballance/actions-ci
 * [new branch]        azure-pipelines -> m-vcs-github-fork-mballance/azure-pipelines
 * [new branch]        bitblast-api  -> m-vcs-github-fork-mballance/bitblast-api
 * [new branch]        cleanup-pointer-arith -> m-vcs-github-fork-mballance/cleanup-pointer-arith
 * [new branch]        google-test   -> m-vcs-github-fork-mballance/google-test
 * [new branch]        master        -> m-vcs-github-fork-mballance/master
 * [new branch]        pyboolector   -> m-vcs-github-fork-mballance/pyboolector
 * [new branch]        rotate-same-bw -> m-vcs-github-fork-mballance/rotate-same-bw
 * [new branch]        shift-same-bw -> m-vcs-github-fork-mballance/shift-same-bw
 * [new branch]        smt2-parser-cleanup -> m-vcs-github-fork-mballance/smt2-parser-cleanup
 * [new branch]        smtcomp19     -> m-vcs-github-fork-mballance/smtcomp19
 * [new branch]        ubsan-support -> m-vcs-github-fork-mballance/ubsan-support
From https://github.com/pablolevi/boolector
 * [new branch]        master     -> m-vcs-github-fork-pablolevi/master
 * [new branch]        smt2-parser-cleanup -> m-vcs-github-fork-pablolevi/smt2-parser-cleanup
From https://github.com/yuex1994/boolector
 * [new branch]        master     -> m-vcs-github-fork-yuex1994/master
 * [new branch]        smt2-parser-cleanup -> m-vcs-github-fork-yuex1994/smt2-parser-cleanup
 * [new branch]        smtcomp19  -> m-vcs-github-fork-yuex1994/smtcomp19
From https://github.com/q3k/boolector
 * [new branch]        master     -> m-vcs-github-fork-q3k/master
 * [new branch]        smt2-parser-cleanup -> m-vcs-github-fork-q3k/smt2-parser-cleanup
 * [new branch]        smtcomp19  -> m-vcs-github-fork-q3k/smtcomp19
From https://github.com/samysweb/boolector
 * [new branch]        azure-pipelines -> m-vcs-github-fork-samysweb/azure-pipelines
 * [new branch]        experiment-modmul-reformulation -> m-vcs-github-fork-samysweb/experiment-modmul-reformulation
 * [new branch]        feat-picosat-trace -> m-vcs-github-fork-samysweb/feat-picosat-trace
 * [new branch]        master     -> m-vcs-github-fork-samysweb/master
 * [new branch]        sat-time-measure -> m-vcs-github-fork-samysweb/sat-time-measure
 * [new branch]        sat-time-measure-32 -> m-vcs-github-fork-samysweb/sat-time-measure-32
 * [new branch]        smt2-parser-cleanup -> m-vcs-github-fork-samysweb/smt2-parser-cleanup
 * [new branch]        smtcomp19  -> m-vcs-github-fork-samysweb/smtcomp19
11239

Contact information

Mail to Andreas Kupries