all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: cvc4  ]

Package: libcvc4-dev (1.8-3)

Links for libcvc4-dev

Screenshot

Debian Resources:

Download Source Package cvc4:

Maintainers:

External Resources:

Similar packages:

dimostratore automatico di teoremi per problemi SMT (file di sviluppo)

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 file di sviluppo per CVC4. Installarlo se si desidera sviluppare applicazioni che utilizzano l'API di CVC4.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libcvc4-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libcvc4-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 128.0 kB830.0 kB [list of files]
arm64 128.0 kB830.0 kB [list of files]
armel 128.0 kB830.0 kB [list of files]
armhf 128.0 kB830.0 kB [list of files]
i386 128.0 kB830.0 kB [list of files]
mips64el 128.1 kB830.0 kB [list of files]
mipsel 128.0 kB830.0 kB [list of files]
ppc64el 128.0 kB830.0 kB [list of files]
s390x 128.0 kB830.0 kB [list of files]