Package: cvc5-dbgsym (1.1.2-2 and others) [debports]

[ Source:  ]

debug symbols for cvc5

Other Packages Related to cvc5-dbgsym

• dep: cvc5 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems

  dep: cvc5 (= 1.1.2-2) [not riscv64]

Download cvc5-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.1.2-2	1,755.5 kB	1,837.0 kB	[list of files]
hppa (unofficial port)	1.1.2-2	1,739.2 kB	1,818.0 kB	[list of files]
m68k (unofficial port)	1.1.2-2	1,677.7 kB	1,755.0 kB	[list of files]
ppc64 (unofficial port)	1.1.2-2	1,751.1 kB	1,841.0 kB	[list of files]
riscv64 (unofficial port)	1.0.5-3	1,637.2 kB	1,732.0 kB	[list of files]
sparc64 (unofficial port)	1.1.2-2	1,713.9 kB	1,806.0 kB	[list of files]
x32 (unofficial port)	1.1.2-2	1,742.1 kB	1,812.0 kB	[list of files]