Package: cvc4 (1.8-3 and others)

[ Source: cvc4  ]

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.62.0 [hppa]

  Package not available

• dep: libboost-thread1.62.0 [hppa]

  Package not available

• dep: libc6 (>= 2.11) [hppa]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.34) [not alpha, hppa, ia64, loong64]

  dep: libc6 (>= 2.41) [loong64]

• dep: libc6.1 (>= 2.34) [alpha]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libcln6 [not hppa]

  libreria di classi per numeri (C++)

• dep: libcvc4-4 (= 1.5-1) [hppa]

  dimostratore automatico di teoremi per problemi SMT (runtime)

• dep: libcvc4-7 (= 1.8-3+b2) [ia64, x32]

  dimostratore automatico di teoremi per problemi SMT (runtime)

  dep: libcvc4-7 (= 1.8-3+b3) [alpha, loong64, m68k, ppc64, sparc64]

  dep: libcvc4-7 (= 1.8-3+b4) [not alpha, hppa, ia64, loong64, m68k, ppc64, sparc64, x32]

• dep: libcvc4parser4 (= 1.5-1) [hppa]

  dimostratore automatico di teoremi per problemi SMT (runtime per analizzatore)

• dep: libcvc4parser7 (= 1.8-3+b2) [ia64, x32]

  dimostratore automatico di teoremi per problemi SMT (runtime per analizzatore)

  dep: libcvc4parser7 (= 1.8-3+b3) [alpha, loong64, m68k, ppc64, sparc64]

  dep: libcvc4parser7 (= 1.8-3+b4) [not alpha, hppa, ia64, loong64, m68k, ppc64, sparc64, x32]

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64, m68k]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  libreria di supporto a GCC

• dep: libgcc4 (>= 4.1.1) [hppa]

  Package not available

• dep: libgmp10 [hppa]

  libreria aritmetica a precisione multipla

• dep: libreadline7 (>= 6.0) [hppa]

  Package not available

• dep: libreadline8t64 (>= 6.0) [not hppa]

  librerie GNU readline ed history, librerie eseguibili

• dep: libstdc++6 (>= 13.1) [not hppa]

  libreria GNU Standard C++, versione 3

  dep: libstdc++6 (>= 5.2) [hppa]

• dep: libunwind8 [ia64]

  libreria per tracciare la catena di chiamate di un programma - runtime

Download cvc4

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.8-3+b3	76.8 kB	342.0 kB	[list of files]
amd64	1.8-3+b4	80.9 kB	296.0 kB	[list of files]
arm64	1.8-3+b4	74.9 kB	340.0 kB	[list of files]
armel	1.8-3+b4	73.8 kB	275.0 kB	[list of files]
armhf	1.8-3+b4	75.4 kB	275.0 kB	[list of files]
hppa (unofficial port)	1.5-1	126.4 kB	509.0 kB	[list of files]
i386	1.8-3+b4	83.0 kB	291.0 kB	[list of files]
ia64 (unofficial port)	1.8-3+b2	85.9 kB	395.0 kB	[list of files]
loong64 (unofficial port)	1.8-3+b3	76.0 kB	276.0 kB	[list of files]
m68k (unofficial port)	1.8-3+b3	78.4 kB	283.0 kB	[list of files]
mips64el	1.8-3+b4	76.1 kB	347.0 kB	[list of files]
ppc64 (unofficial port)	1.8-3+b3	78.9 kB	340.0 kB	[list of files]
ppc64el	1.8-3+b4	78.9 kB	340.0 kB	[list of files]
riscv64	1.8-3+b4	77.4 kB	264.0 kB	[list of files]
s390x	1.8-3+b4	77.9 kB	288.0 kB	[list of files]
sparc64 (unofficial port)	1.8-3+b3	72.6 kB	1,179.0 kB	[list of files]
x32 (unofficial port)	1.8-3+b2	80.6 kB	279.0 kB	[list of files]