[ sid ]
软件包:boolector-dbgsym(1.5.118.6b56be4.121013-1.3) [debports]
debug symbols for boolector
其他与 boolector-dbgsym 有关的软件包
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT solver for bit-vectors and arrays