MidnightBSD Magusmath/yices
SMT solver
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| 2.7.0_2 | 632 | 4.0 | amd64 | gpl3+ | 0 | pass |
License Permissions: dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
Events
| Machine | Type | Time | Message |
|---|---|---|---|
| defiant | info | 2026-02-16 21:45:42.563743 | Test Started |
| defiant | pass | 2026-02-16 21:46:16.056408 | Test complete. |
Links
Depends On
- devel/autoconf (build)
- devel/automake (build)
- devel/gmake (build)
- devel/gperf (build)
- math/gmp (lib)
Depend Of
Categories
CVEs
- Loading CVE information...