all options
jessie  ] [  sid  ]
[ Source:  ]

Package: mace2 (3.3f-1.1) [debports]

Links for mace2

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

Similar packages:

Programa que busca modelos finitos de sentencias de primer orden

MACE es un programa desarrollado en el Laboratorio Nacional Argonne que busca modelos finitos de sentencias ecuacionales y de primer orden.

Este paquete incluye ANLDP que llama directamente al procedimiento de decisión proposicional en el núcleo de MACE.

MACE sirve como un complemento a OTTER, que busca refutaciones de la misma clase de sentencias. En particular, si tiene una conjetura de primer orden, OTTER buscará una demostración y MACE buscará un contraejemplo desde el mismo archivo de entrada.

Other Packages Related to mace2

  • depends
  • recommends
  • suggests
  • enhances

Download mace2

Download for all available architectures
Architecture Package Size Installed Size Files
arm64 (unofficial port) 331.4 kB1,062.0 kB [list of files]