A generic parser and tool package for the BTOR2 format.@gh - Boolector

GitHub GitHub
Size 3.9M (3.9M (+36K))
Commits 176 (175 (+1))
Update Stats 0s ... 29s (15s * 10)
Last Change 2020-08-24 00:52:17
Last Check 2020-09-21 02:11:02
Created 2019-10-12 14:07:47
Remotes
1. https://github.com/Boolector/btor2tools
Forks
1. https://github.com/aman-goel/btor2tools
2. https://github.com/andrewvaughanj/btor2tools
3. https://github.com/fvutils/btor2tools_pypi
4. https://github.com/lonsing/btor2tools
5. https://github.com/makaimann/btor2tools
6. https://github.com/mballance/btor2tools_win32
7. https://github.com/nakengelhardt/btor2tools

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

Operation

mballance/btor2tools_win32
lonsing/btor2tools
fvutils/btor2tools_pypi
nakengelhardt/btor2tools
aman-goel/btor2tools
makaimann/btor2tools
andrewvaughanj/btor2tools
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fbtor2tools https://github.com/Boolector/btor2tools (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fbtor2tools https://github.com/Boolector/btor2tools (push)
m-vcs-github-fork-aman-goel https://github.com/aman-goel/btor2tools (fetch)
m-vcs-github-fork-aman-goel https://github.com/aman-goel/btor2tools (push)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/btor2tools (fetch)
m-vcs-github-fork-andrewvaughanj    https://github.com/andrewvaughanj/btor2tools (push)
m-vcs-github-fork-fvutils   https://github.com/fvutils/btor2tools_pypi (fetch)
m-vcs-github-fork-fvutils   https://github.com/fvutils/btor2tools_pypi (push)
m-vcs-github-fork-lonsing   https://github.com/lonsing/btor2tools (fetch)
m-vcs-github-fork-lonsing   https://github.com/lonsing/btor2tools (push)
m-vcs-github-fork-makaimann https://github.com/makaimann/btor2tools (fetch)
m-vcs-github-fork-makaimann https://github.com/makaimann/btor2tools (push)
m-vcs-github-fork-mballance https://github.com/mballance/btor2tools_win32 (fetch)
m-vcs-github-fork-mballance https://github.com/mballance/btor2tools_win32 (push)
m-vcs-github-fork-nakengelhardt https://github.com/nakengelhardt/btor2tools (fetch)
m-vcs-github-fork-nakengelhardt https://github.com/nakengelhardt/btor2tools (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fbtor2tools
m-vcs-github-fork-aman-goel
m-vcs-github-fork-andrewvaughanj
m-vcs-github-fork-fvutils
m-vcs-github-fork-lonsing
m-vcs-github-fork-makaimann
m-vcs-github-fork-mballance
m-vcs-github-fork-nakengelhardt
176
Fetching m-vcs-github-fork-aman-goel
Fetching m-vcs-github-fork-andrewvaughanj
Fetching m-vcs-github-fork-makaimann
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fBoolector%2fbtor2tools
Fetching m-vcs-github-fork-nakengelhardt
Fetching m-vcs-github-fork-fvutils
Fetching m-vcs-github-fork-lonsing
Fetching m-vcs-github-fork-mballance
176

Contact information

Mail to Andreas Kupries