| Paketname | cvc3 |
| Beschreibung | Automatic theorem prover for SMT problems |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.4.1-2 |
| Sektion | 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 | Christopher L. Conway |
| Quelle | |
| Paketgröße | 24164 Byte |
| Prüfsumme MD5 | 8ef48d82fb007779740f76b8304c450c |
| Prüfsumme SHA1 | 0029160f15aedc1cde3f098ae13cf1b58d41f7ed |
| Prüfsumme SHA256 | 68df62a96911cce3bcf074d2bb20f4a36f9ed91e12b9f8aadf6159df61a0c1c2 |
| Link zum Herunterladen | cvc3_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |