[ sid ]
Paket: cvc4-dbgsym (1.8-3 und andere) [debports]
Links für cvc4-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for cvc4
Andere Pakete mit Bezug zu cvc4-dbgsym
|
|
|
|
-
- dep: cvc4 (= 1.8-3+b2)
- automated theorem prover for SMT problems
cvc4-dbgsym herunterladen
Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|---|
alpha (inoffizielle Portierung) | 1.8-3+b2 | 964,6 kB | 1.005,0 kB | [Liste der Dateien] |