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

ATTEND GitHub GitHub
Size 2.9M (2.9M (+4K))
Commits -1 (140 (-141))
Update Stats 1s ... 29s (10s * 10)
Last Change 2020-06-23 02:12:05
Last Check 2020-07-04 18:11: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/fvutils/btor2tools_pypi
4. https://github.com/lonsing/btor2tools
5. https://github.com/makaimann/btor2tools
6. https://github.com/nakengelhardt/btor2tools

Messages as of last check on 2020-07-04 18:11:01

Operation

Verifying urls ...

Notes & Errors

Bad url: https://github.com/Boolector/btor2tools
Unable to reach remotes

Contact information

Mail to Andreas Kupries