Paket: cvc4-dbgsym (1.8-3 och andra) [debports]

[ Källkod:  ]

debug symbols for cvc4

Andra paket besläktade med cvc4-dbgsym

• dep: cvc4 (= 1.8-3+b2)

  automated theorem prover for SMT problems

Hämta cvc4-dbgsym

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
ia64 (inofficiell anpassning)	1.8-3+b2	1.016,0 kbyte	1.056,0 kbyte	[filförteckning]