Package: libcvc4parser7 (1.8-5)

[ Source: cvc4  ]

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

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 per l'analizzatore di CVC4.

Tags: Role: Shared Library

Other Packages Related to libcvc4parser7

• dep: libantlr3c-3.4-0

  runtime C del generatore di analizzatori ANTLR v3
  also a virtual package provided by libantlr3c-antlrdbg-3.4-0

  or libantlr3c-antlrdbg-3.4-0

  runtime C del generatore di analizzatori ANTLR v3 con strumento di debug di ANTLR

• dep: libc6 (>= 2.33) [not armhf]

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

  dep: libc6 (>= 2.34) [armhf]

• dep: libcln6

  libreria di classi per numeri (C++)

• dep: libcvc4-7 (>= 1.8)

  dimostratore automatico di teoremi per problemi SMT (runtime)

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

  libreria di supporto a GCC

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

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

  libreria GNU Standard C++, versione 3

Download libcvc4parser7

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	376.4 kB	2,714.0 kB	[list of files]
arm64	331.3 kB	2,723.0 kB	[list of files]
armhf	342.2 kB	2,255.0 kB	[list of files]
i386	403.8 kB	2,740.0 kB	[list of files]
ppc64el	365.0 kB	2,979.0 kB	[list of files]
riscv64	367.3 kB	2,383.0 kB	[list of files]
s390x	391.6 kB	2,787.0 kB	[list of files]