yices (math/yices) Updated: 1 year, 4 months 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
Installations (30 days)
1
Requested Installations (30 days)
1
Livecheck results
yices seems to have been updated (port version: 2.6.5, new version: 2.7.0)
livecheck ran: 1 day, 14 hours ago