btor2tools (math/btor2tools) Updated: 2 years, 8 months ago Add to my watchlist
a generic parser and tools for the BTOR2 formatThe Btor2Tools package provides a generic parser and tools for the BTOR2 format.
Version: 20230816 License: MIT
GitHub
| Maintainers | No Maintainer |
| Categories | science math |
| Homepage | https://github.com/Boolector/btor2tools |
| Platforms | darwin |
| Variants |
|
"btor2tools" depends on
build (2)
Ports that depend on "btor2tools"
lib (1)Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
btor2tools seems to have been updated (port version: 037f1fa88fb439dca6f648ad48a3463256d69d8b, new version: e6941e37e056084ab6e51c5c1eee6233089a330d)
livecheck ran: 1 day, 11 hours ago