Package Descriptions for Ubuntu

Browsing French translation

  1. Series trusty
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
51929 of 82199 results First • • • Last
51929.
MACE serves as a complementary companion to OTTER, which searches for refutations of the same class of statement. In particular, if you have a first-order conjecture, OTTER will search for a proof, and MACE will search for a counterexample from the same input file.
 
Description
MACE est un programme d'accompagnement complémentaire de OTTER qui recherche les réfutations de la même classe de prédicats. Plus particulièrement, avec une conjecture du premier ordre, OTTER recherchera une preuve et MACE recherchera un contre-exemple depuis le même fichier d'entrée.
Translated by Michael Vogt
Located in Package: mace2
51929 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.