Package: libcvc4-7 (1.8-3 and others) [debports]

[ Source:  ]

dimostratore automatico di teoremi per problemi SMT (runtime)

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 le librerie runtime condivise di CVC4.

Other Packages Related to libcvc4-7

• dep: libc6 (>= 2.32)

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

• dep: libcln6

  libreria di classi per numeri (C++)

• dep: libgcc-s1 (>= 3.0)

  libreria di supporto a GCC

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

  libreria GNU Standard C++, versione 3

Download libcvc4-7

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	1.8-3+b2	5,489.5 kB	28,234.0 kB	[list of files]