» Ubuntu » Packages » resolute (26.04LTS) » libs » libcvc4-7

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

[ Source: cvc4 ]

Package: libcvc4-7 (1.8-5) [universe]

Links for libcvc4-7

Ubuntu Resources:

Download Source Package cvc4:

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)
Fabian Wolff

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

External Resources:

Homepage [cvc4.github.io]

Similar packages:

automated theorem prover for SMT problems (runtime)

Other Packages Related to libcvc4-7

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
dep: libcln6

Class Library for Numbers (C++)
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 libcvc4-7

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	4,803.0 kB	15,124.0 kB	[list of files]
arm64	4,388.7 kB	13,944.0 kB	[list of files]
armhf	6,171.4 kB	14,890.0 kB	[list of files]
ppc64el	4,748.8 kB	16,440.0 kB	[list of files]
riscv64	7,101.8 kB	20,940.0 kB	[list of files]
s390x	4,930.4 kB	15,288.0 kB	[list of files]