yices
Paket-Details
| Name | yices |
|---|---|
| Version | 2.7.0-1 |
| Beschreibung | A solver for Satisfiability Modulo Theories (SMT) problems |
| URL | https://yices.csl.sri.com/ |
| Lizenzen | GPL-3.0-or-later |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 03.03.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | yices-2.7.0-1-x86_64.pkg.tar.zst |
| PGP-Signatur | yices-2.7.0-1-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 1.7 MiB |
| Installations-Größe | 8.1 MiB |
| Beliebtheit |