Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
25580 of 82199 results First • • • Last
25580.
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
 
Description
CVC3 est un démonstrateur automatique de théorèmes pour des problèmes de SMT (satisfiabilité modulo des théories). Il peut être utilisé pour démontrer la validité (ou, doublement, la satisfaisabilité) de formulations du premier ordre dans un grand nombre de théories logiques intégrées et leurs combinaisons.
Translated by Michael Vogt
Located in Package: libcvc3-dev Package: libcvc3-5v5 Package: libcvc3-5-jni Package: libcvc3-5-java Package: cvc3-el Package: cvc3
25580 of 82199 results First • • • Last

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.