btor2tools (math/btor2tools) Updated: 1 year, 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 error
Error: livecheck failed for btor2tools: extracted version 'd33c73ff1d173f1bfac8ba6b1c6d68ba62c55f8e' is older than livecheck.version '037f1fa88fb439dca6f648ad48a3463256d69d8b'
last updated: 5 hours ago