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

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

[ Source: cvc4 ]

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

Links for libcvc4-7

Ubuntu-palvelut:

Imuroi lähdekoodipaketti cvc4:

Ylläpitäjä:

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:

Kotisivu [cvc4.github.io]

Samankaltaisia paketteja:

automated theorem prover for SMT problems (runtime)

Muut pakettiin libcvc4-7 liittyvät paketit

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) [ei armhf, riscv64]

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

GNU Standard C++ Library v3

Imuroi libcvc4-7

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	4,803.0 kt	15,124.0 kt	[tiedostoluettelo]
arm64	4,388.7 kt	13,944.0 kt	[tiedostoluettelo]
armhf	6,171.4 kt	14,890.0 kt	[tiedostoluettelo]
ppc64el	4,748.8 kt	16,440.0 kt	[tiedostoluettelo]
riscv64	7,101.8 kt	20,940.0 kt	[tiedostoluettelo]
s390x	4,930.4 kt	15,288.0 kt	[tiedostoluettelo]