Package: cvc4 (1.8-3)

[ 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: libc6 (>= 2.34)

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

• dep: libcln6

  libreria di classi per numeri (C++)

• dep: libcvc4-7 (= 1.8-3)

  dimostratore automatico di teoremi per problemi SMT (runtime)

• dep: libcvc4parser7 (= 1.8-3)

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

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

  libreria di supporto a GCC

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

• dep: libreadline8 (>= 6.0)

  librerie GNU readline ed history, librerie eseguibili

• dep: libstdc++6 (>= 5.2)

  libreria GNU Standard C++, versione 3

Download cvc4

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	78.8 kB	286.0 kB	[list of files]
arm64	73.8 kB	274.0 kB	[list of files]
armel	72.4 kB	261.0 kB	[list of files]
armhf	73.3 kB	241.0 kB	[list of files]
i386	80.7 kB	281.0 kB	[list of files]
mips64el	72.2 kB	286.0 kB	[list of files]
mipsel	72.4 kB	284.0 kB	[list of files]
ppc64el	78.5 kB	340.0 kB	[list of files]
s390x	74.0 kB	286.0 kB	[list of files]