» Ubuntu » Packages » questing (25.10) » libs » libcvc5-1

[ noble ] [ questing ] [ resolute ] [ stonking ]

[ Source: cvc5 ]

Package: libcvc5-1 (1.1.2-2build1) [universe]

Links for libcvc5-1

Ubuntu Resources:

Download Source Package cvc5:

Maintainer:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Science Maintainers
Scott Talbert

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Homepage [cvc5.github.io]

Similar packages:

automated theorem prover for SMT problems (runtime)

Other Packages Related to libcvc5-1

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
dep: libcln6

Class Library for Numbers (C++)
dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

SAT solver library
dep: libgcc-s1 (>= 3.3.1) [not armhf, riscv64]

GCC support library

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libstdc++6 (>= 14)

GNU Standard C++ Library v3

Download libcvc5-1

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	5,162.2 kB	15,729.0 kB	[list of files]
arm64	4,760.9 kB	13,999.0 kB	[list of files]
armhf	6,303.5 kB	14,902.0 kB	[list of files]
ppc64el	5,123.9 kB	16,687.0 kB	[list of files]
riscv64	7,326.3 kB	21,528.0 kB	[list of files]
s390x	5,528.5 kB	16,131.0 kB	[list of files]