[  lenny  ] [  squeeze  ] [  sid  ]
[ Source: otter  ]

Package: mace2 (3.3f-1)

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

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.3.5-1) [not alpha, armel, i386, ia64]
    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) [alpha, ia64]
    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
alpha 561.1 kB1648 kB [list of files]
amd64 529.8 kB1444 kB [list of files]
arm 496.6 kB1384 kB [list of files]
armel 503.5 kB1392 kB [list of files]
hppa 541.6 kB1476 kB [list of files]
i386 496.4 kB1388 kB [list of files]
ia64 728.1 kB2352 kB [list of files]
mips 547.1 kB1756 kB [list of files]
mipsel 548.5 kB1756 kB [list of files]
powerpc 523.3 kB1516 kB [list of files]
s390 522.4 kB1456 kB [list of files]
sparc 493.5 kB1412 kB [list of files]