yices (math/yices) Updated: 7 months, 1 week ago Add to my watchlist
The Yices SMT SolverVersion: 2.6.5 License: GPL-3
GitHub
| Maintainers | barracuda156 |
| Categories | math |
| Homepage | https://yices.csl.sri.com |
| Platforms | darwin |
| Variants | - |
"yices" depends on
lib (1)
build (5)
Ports that depend on "yices"
No ports
Port Health:
Loading Port Health