[ 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