» Ubuntu » Balíky » resolute (26.04LTS) » libs » libcvc4parser7

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

[ Zdroj: cvc4 ]

Balík: libcvc4parser7 (1.8-5) [universe]

Odkazy pre libcvc4parser7

Zdroje Ubuntu:

Stiahnuť zdrojový balík cvc4:

Správca:

Ubuntu MOTU Developers (Konferencia)

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

Original Maintainers (usually from Debian):

Debian Science Maintainers (Konferencia)
Fabian Wolff

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

Externé zdroje:

Domovská stránka [cvc4.github.io]

Podobné balíky:

automated theorem prover for SMT problems (parser runtime)

Ostatné balíky súvisiace s balíkom libcvc4parser7

závisí

odporúča

navrhuje

enhances

dep: libantlr3c-3.4-0

ANTLR v3 parser generator C runtime
tiež virtuálny balík poskytovaný balíkom libantlr3c-antlrdbg-3.4-0

alebo libantlr3c-antlrdbg-3.4-0

ANTLR v3 parser generator C runtime with ANTLR debugger
dep: libc6 (>= 2.33)

GNU C Library: Shared libraries
dep: libcln6

Class Library for Numbers (C++)
dep: libcvc4-7 (>= 1.8)

automated theorem prover for SMT problems (runtime)
dep: libgcc-s1 (>= 3.3.1)

GCC support library
dep: libstdc++6 (>= 13.1)

GNU Standard C++ Library v3

Stiahnuť libcvc4parser7

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	375.1 kB	2,639.0 kB	[zoznam súborov]