Paket: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]

[ Källkod:  ]

debug symbols for boolector

Andra paket besläktade med boolector-dbgsym

• dep: boolector (= 1.5.118.6b56be4.121013-1.3)

  SMT solver for bit-vectors and arrays

Hämta boolector-dbgsym

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	12,1 kbyte	56,0 kbyte	[filförteckning]