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: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.3.5-1) [not armel, i386, ia64, kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.3.6-6) [i386]

  dep: libc6 (>= 2.5-5) [armel]

• dep: libc6.1 (>= 2.3.5-1) [ia64]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

• rec: c-shell

  virtual package provided by csh, tcsh

• rec: otter

  resolution-style theorem prover

• rec: perl

  Larry Wall's Practical Extraction and Report Language

• sug: swi-prolog

  ISO/Edinburgh-style Prolog interpreter

  or gprolog

  GNU Prolog compiler

Download mace2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	529.8 kB	1,444.0 kB	[list of files]
armel	503.5 kB	1,392.0 kB	[list of files]
i386	496.4 kB	1,388.0 kB	[list of files]
ia64	728.1 kB	2,352.0 kB	[list of files]
kfreebsd-amd64	541.3 kB	1,282.0 kB	[list of files]
kfreebsd-i386	492.7 kB	1,186.0 kB	[list of files]
mips	547.1 kB	1,756.0 kB	[list of files]
mipsel	548.5 kB	1,756.0 kB	[list of files]
powerpc	523.3 kB	1,516.0 kB	[list of files]
s390	522.4 kB	1,456.0 kB	[list of files]
sparc	493.5 kB	1,412.0 kB	[list of files]