Package Descriptions for Ubuntu

Browsing French translation

  1. Series raring
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
48715 of 76009 results First • • • Last
48715.
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
48715 of 76009 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.