all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: otter  ]

Package: mace2 (3.3f-1.1)

Links for mace2

Screenshot

Debian Resources:

Download Source Package otter:

Maintainer:

Similar packages:

programma che ricerca modelli finiti di dichiarazioni di primo ordine

MACE è un programma che ricerca i modelli finiti di dichiarazioni di primo ordine e di equazioni sviluppato presso l'Argonne National Laboratory.

Questo pacchetto include ANLDP, che chiama la procedura decisionale proposizionale direttamente al nucleo centrale di MACE.

MACE funziona come compagno complementare per OTTER, che ricerca confutazioni della stessa classe di dichiarazione. In particolare, se si ha una congettura di primo ordine, OTTER ricercherà una prova, e MACE ricercherà un contro esempio dallo stesso file di ingresso.

Tags: Role: Program, Purpose: Searching

Other Packages Related to mace2

  • depends
  • recommends
  • suggests
  • enhances

Download mace2

Download for all available architectures
Architecture Package Size Installed Size Files
mipsel 516.8 kB1,159.0 kB [list of files]