[ sid ]

[ Source: ]

Package: cvc4-dbgsym (1.8-3 and others) [debports]

Links for cvc4-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for cvc4

Other Packages Related to cvc4-dbgsym

depends

recommends

suggests

enhances

dep: cvc4 (= 1.8-3+b2)

automated theorem prover for SMT problems

Download cvc4-dbgsym

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.8-3+b2	964.6 kB	1,005.0 kB	[list of files]