btor2tools (math/btor2tools) Updated: 2 years, 2 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: d33c73ff1d173f1bfac8ba6b1c6d68ba62c55f8e)
livecheck ran: 22 hours ago