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

Package: mace2 (3.3f-1.1 and others)

Links for mace2

Screenshot

Debian Resources:

Download Source Package otter:

Maintainer:

Similar packages:

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
  • enhances

Download mace2

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 3.3f-1.1 577.0 kB1,305.0 kB [list of files]
amd64 3.3f-1.1 550.6 kB1,126.0 kB [list of files]
armel 3.3f-1.1 501.0 kB1,384.0 kB [list of files]
armhf 3.3f-1.1 477.8 kB853.0 kB [list of files]
hppa (unofficial port) 3.3f-1.1 346.4 kB1,116.0 kB [list of files]
hurd-i386 3.3f-1.1+b1 528.6 kB1,116.0 kB [list of files]
i386 3.3f-1.1 532.0 kB1,120.0 kB [list of files]
kfreebsd-amd64 3.3f-1.1 551.5 kB1,071.0 kB [list of files]
kfreebsd-i386 3.3f-1.1 531.1 kB1,065.0 kB [list of files]
m68k (unofficial port) 3.3f-1.1 461.0 kB1,009.0 kB [list of files]
mips 3.3f-1.1 516.7 kB1,159.0 kB [list of files]
mipsel 3.3f-1.1 516.8 kB1,159.0 kB [list of files]
powerpc 3.3f-1.1 526.0 kB1,116.0 kB [list of files]
powerpcspe (unofficial port) 3.3f-1.1 521.4 kB1,054.0 kB [list of files]
ppc64 (unofficial port) 3.3f-1.1 547.2 kB1,259.0 kB [list of files]
s390x 3.3f-1.1 556.6 kB1,222.0 kB [list of files]
sh4 (unofficial port) 3.3f-1.1 525.9 kB1,051.0 kB [list of files]
sparc 3.3f-1.1 507.9 kB1,089.0 kB [list of files]
sparc64 (unofficial port) 3.3f-1.1 513.3 kB1,022.0 kB [list of files]