| Paketname | cvc3 |
| Beschreibung | Automatic theorem prover for SMT problems |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.4.1-2 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 81 Byte |
| Hängt ab von | libc6 (>= 2.1.3), libcvc3-5, libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.4.0) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 21930 Byte |
| Prüfsumme MD5 | 9fa53fcf047e906327bd7f11024fdd18 |
| Prüfsumme SHA1 | e77f026b95c7e8ee9a43f82698ece35c00c3afd2 |
| Prüfsumme SHA256 | 8cb61cde6c3c086e144a121f82b67b101a403a4651ef2a50a540abf6c23d2cd7 |
| Link zum Herunterladen | cvc3_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |