[ sid ]
Paket: cvc4-dbgsym (1.8-3) [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)
- automated theorem prover for SMT problems
cvc4-dbgsym herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| riscv64 (inoffizielle Portierung) | 863,3 kB | 905,0 kB | [Liste der Dateien] |