Paket: cvc5-dbgsym (1.1.2-2) [debports]

[ Källkod:  ]

debug symbols for cvc5

Andra paket besläktade med cvc5-dbgsym

• dep: cvc5 (= 1.1.2-2)

  automated theorem prover for SMT problems

Hämta cvc5-dbgsym

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	1.755,5 kbyte	1.837,0 kbyte	[filförteckning]