Package: mace2 (3.3f-1)

[ Source: otter  ]

program that searches for finite models of first-order statements

MACE is a program that searches for finite models of first-order and equational statements developed at Argonne National Laboratory.

This package includes ANLDP, which calls the propositional decision procedure at the core of MACE directly.

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.

Tags: Role: Program, Purpose: Searching

Other Packages Related to mace2

• dep: libc6 (>= 2.3.5-1)

  Sulautettu GNU C -kirjasto: jaetut kirjastot
  also a virtual package provided by libc6-udeb

• rec: c-shell

  virtual package provided by csh, tcsh

• rec: otter

  resolution-style theorem prover

• rec: perl

  Larry Wallin kieli tekstitiedostojen analysointia ja raportointia varten

• sug: swi-prolog

  ISO/Edinburgh-tyylinen Prolog-tulkki

  or gprolog

  GNU Prolog compiler

Download mace2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
powerpc	523.3 kB	1,516.0 kB	[list of files]