math/yices
SMT solver
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| 2.6.5 | 622 | 4.0 | i386 | gpl3 | 0 | untested |
License Permissions:
Links
Depends On
NothingDepend Of
NothingCategories
CVEs
- Loading CVE information...
MidnightBSD MagusSMT solver
| Flavor | Version | Run | OSVersion | Arch | License | Restricted | Status | |
|---|---|---|---|---|---|---|---|---|
| 2.6.5 | 622 | 4.0 | i386 | gpl3 | 0 | untested |
License Permissions: