Package: cvc5 (1.1.2-3)

Links for cvc5

Debian Resources:

Download Source Package cvc5:

Maintainers:

External Resources:

Homepage [cvc5.github.io]

Similar packages:

Automatiseret læresætningsbeviser for SMT-problemer

Cvc5 er et værktøj til at bestemme opfyldelsen af en førsteordens formel modulo en førsteordensteori (eller en kombination af sådanne teorier). Det er den femte i Cooperating Validity Checker-værktøjsfamilien (CVC, CVC Lite, CVC3, CVC4), men indarbejder ikke direkte kode fra nogen tidligere version før CVC4.

Cvc5 er beregnet til at være en åben og udvidelig SMT-motor. Den kan bruges som et uafhængigt værktøj eller som et bibliotek. Det er designet til at øge ydeevnen og reducere hukommelsesomkostningerne fra sine forgængere. Værktøjet er skrevet helt i C++ og udgives under en fri programlicens.

Denne pakke indeholder binære filer, der er nødvendige for at bruge cvc5 som et uafhængigt værktøj.

Other Packages Related to cvc5

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libcvc5-1 (= 1.1.2-3)

automated theorem prover for SMT problems (runtime)
dep: libcvc5parser1 (= 1.1.2-3)

automated theorem prover for SMT problems (parser runtime)
dep: libgcc-s1 (>= 3.0) [not armhf]

GCC støttebibliotek

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

GNU Standard C++ bibliotek v3

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]