» Ubuntu » Packages » resolute (26.04LTS) » libs » libcvc5-1

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

[ Source: cvc5 ]

Package: libcvc5-1 (1.3.2-1build1) [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 (Mail Archive)
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.0) [riscv64]

GCC support library

dep: libgcc-s1 (>= 3.3.1) [not armhf, 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	6,029.7 kB	18,872.0 kB	[list of files]
arm64	5,582.2 kB	16,492.0 kB	[list of files]
armhf	7,286.2 kB	17,590.0 kB	[list of files]
ppc64el	5,977.7 kB	19,628.0 kB	[list of files]
riscv64	8,610.3 kB	25,491.0 kB	[list of files]
s390x	6,289.3 kB	18,784.0 kB	[list of files]