| Paketname | cvc3 |
| Beschreibung | An automatic theorem prover for SMT problems |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2-13.1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 92 Byte |
| Hängt ab von | libc6 (>= 2.1.3), libcvc3-2, libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.4.0) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 20330 Byte |
| Prüfsumme MD5 | 405481664f1df143aa71b64acbf33f9c |
| Prüfsumme SHA1 | 15cc92e99847cfe3e1ba5d5cff30c3139eb26300 |
| Prüfsumme SHA256 | 5f80b5ed47668a2e8bb4a8875f02aba2f9befc8e9ce06eb1355fdf24bb3ea5f6 |
| Link zum Herunterladen | cvc3_2.2-13.1_i386.deb |
| Ausführliche Beschreibung | |