cvc4
Paket-Details
| Name | cvc4 |
|---|---|
| Version | 1.8-3 |
| Beschreibung | An automatic theorem prover |
| URL | https://cvc5.github.io/ |
| Lizenzen | GPL, BSD, MIT, custom:HPND |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Antonio Rojas |
| Erstellt am | 01.09.2023 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | cvc4-1.8-3-x86_64.pkg.tar.zst |
| PGP-Signatur | cvc4-1.8-3-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 5.1 MiB |
| Installations-Größe | 18.3 MiB |
| Beliebtheit |