Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
25582 of 82199 results First • • • Last
25582.
CVC3 works with a version of first-order logic with polymorphic types and has a wide variety of features including:
 
Description
CVC3 fonctionne avec une version de logique du premier ordre avec des types polymorphes et possède un large éventail de fonctions, dont[nbsp]:
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
25582 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.