[ Source: cvc4 ]
Package: cvc4 (1.6-2 and others)
Links for cvc4
Debian Resources:
Download Source Package cvc4:
Maintainers:
External Resources:
- Homepage [cvc4.cs.stanford.edu]
Similar packages:
dimostratore automatico di teoremi per problemi SMT
CVC4 è un efficiente dimostratore automatico di teoremi per problemi SMT (Satisfiability Modulo Theories). Può essere usato per dimostrare la validità (o, in maniera duale, la soddisfacibilità) di formule del primo ordine per un grande numero di teorie logiche incorporate e di loro combinazioni.
CVC4 è pensato per essere un motore SMT aperto ed estensibile e può essere usato come strumento autonomo o come libreria. È il quarto nella famiglia di strumenti Cooperating Validity Checker (che include anche CVC, CVC Lite e CVC3). CVC4 è stato progettato per aumentare le prestazioni e ridurre l'uso di memoria dei suoi predecessori.
Questo pacchetto contiene i binari necessari per usare CVC4 come strumento autonomo.
Other Packages Related to cvc4
|
|
|
|
-
- dep: libboost-system1.67.0
- libreria per accedere al sistema operativo (es. supporto diagnostico)
-
- dep: libboost-thread1.67.0
- multi-thread C++ portabile
-
- dep: libc6 (>= 2.17)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libcvc4-5 (= 1.6-2+b1)
- dimostratore automatico di teoremi per problemi SMT (runtime)
-
- dep: libcvc4parser5 (= 1.6-2+b1)
- dimostratore automatico di teoremi per problemi SMT (runtime per analizzatore)
-
- dep: libgcc1 (>= 1:4.2)
- libreria di supporto a GCC
-
- dep: libgmp10
- libreria aritmetica a precisione multipla
-
- dep: libreadline7 (>= 6.0)
- librerie GNU readline ed history, librerie eseguibili
-
- dep: libstdc++6 (>= 5.2)
- libreria GNU Standard C++, versione 3
Download cvc4
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| i386 | 1.6-2+b1 | 136.2 kB | 517.0 kB | [list of files] |