[ sid ]
套件:cvc4-dbgsym(1.8-3 以及其他的)
[debports]
cvc4-dbgsym 的相關連結
Debian 的資源:
下載原始碼套件 :
未找到
維護小組:
相似套件:
其他與 cvc4-dbgsym 有關的套件
-
- dep:
cvc4
(= 1.8-3+b2)
- automated theorem prover for SMT problems
下載 cvc4-dbgsym
下載可用於所有硬體架構的
硬體架構 |
版本 |
套件大小 |
安裝後大小 |
檔案 |
sparc64 (非官方移植版) |
1.8-3+b2 |
954。3 kB | 994。0 kB |
[檔案列表]
|