btor2tools (math/btor2tools) Updated: 2 years, 7 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: ad94e9c61b68611679f02073e238b522e27c2b3a)
livecheck ran: 1 day, 16 hours ago