[ bookworm ] [ trixie ] [ sid ]

[ Quellcode: cvc5 ]

Paket: libcvc5-dev (1.1.2-2 und andere)

Links für libcvc5-dev

Debian-Ressourcen:

Quellcode-Paket cvc5 herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [cvc5.github.io]

Ähnliche Pakete:

automated theorem prover for SMT problems (development files)

Markierungen: Software-Entwicklung: Bibliotheken, Rolle: Entwicklungs-Bibliothek

Andere Pakete mit Bezug zu libcvc5-dev

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcvc5-1 (= 1.1.2-2+b1)

automated theorem prover for SMT problems (runtime)
dep: libcvc5parser1 (= 1.1.2-2+b1)

automated theorem prover for SMT problems (parser runtime)
dep: libgmp-dev

Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge

libcvc5-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
armhf	1.1.2-2+b1	91,1 kB	686,0 kB	[Liste der Dateien]