Package: cvc5 (1.1.2-3)

Links for cvc5

Debian Resources:

Download Source Package cvc5:

Maintainers:

External Resources:

Homepage [cvc5.github.io]

Similar packages:

dimostratore automatico di teoremi per problemi SMT

cvc5 è uno strumento per determinare la soddisfacibilità di una formula del primo ordine modulo una teoria del primo ordine (o una combinazione di tali teorie). È il quinto strumento della famiglia Cooperating Validity Checker (CVC, CVC Lite, CVC3, CVC4), ma non incorpora direttamente il codice di alcuna delle versioni precedenti a CVC4).

cvc5 è pensato per essere un motore SMT aperto ed estensibile. Può essere usato come strumento autonomo o come libreria. È stato progettato per aumentare le prestazioni e ridurre l'uso di memoria dei suoi predecessori. È scritto interamente in C++ ed è rilasciato con una licenza software open source.

Questo pacchetto contiene i binari necessari per usare cvc5 come strumento autonomo.

Other Packages Related to cvc5

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libcvc5-1 (= 1.1.2-3)

dimostratore automatico di teoremi per problemi SMT (runtime)
dep: libcvc5parser1 (= 1.1.2-3)

dimostratore automatico di teoremi per problemi SMT (runtime per analizzatore)
dep: libgcc-s1 (>= 3.0) [not armhf]

libreria di supporto a GCC

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

libreria GNU Standard C++, versione 3

Download cvc5

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	105.3 kB	458.0 kB	[list of files]
arm64	95.0 kB	438.0 kB	[list of files]
armhf	98.3 kB	361.0 kB	[list of files]
i386	108.8 kB	473.0 kB	[list of files]
ppc64el	100.9 kB	502.0 kB	[list of files]
riscv64	99.4 kB	358.0 kB	[list of files]
s390x	105.7 kB	446.0 kB	[list of files]