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

GitHub GitHub
Size 1.0M (580K (+464K))
Commits 88 (79 (+9))
Update Stats 5s ... 29s (6s * 10)
Last Change 2019-10-16 18:11:31
Last Check 2019-12-06 19:31:01
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/makaimann/btor2tools

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

Operation

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-makaimann https://github.com/makaimann/btor2tools (fetch)
m-vcs-github-fork-makaimann https://github.com/makaimann/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-makaimann
88
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
88

Contact information

Mail to Andreas Kupries