[ Source: otter ]
Package: mace2 (3.3f-1.1 and others)
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.
Other Packages Related to mace2
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.1-udeb
-
- dep: libc0.3 (>= 2.7) [hurd-i386]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc0.3-udeb
-
- dep: libc6 (>= 2.13) [s390x, sh4]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.3.5-1) [hppa]
- dep: libc6 (>= 2.7) [not alpha, hppa, hurd-i386, ia64, kfreebsd-amd64, kfreebsd-i386, s390x, sh4]
-
- dep: libc6.1 (>= 2.7) [alpha, ia64]
- Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
-
- 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
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 3.3f-1.1 | 577.0 kB | 1,305.0 kB | [list of files] |
| amd64 | 3.3f-1.1 | 550.6 kB | 1,126.0 kB | [list of files] |
| armel | 3.3f-1.1 | 501.0 kB | 1,384.0 kB | [list of files] |
| armhf | 3.3f-1.1 | 477.8 kB | 853.0 kB | [list of files] |
| hppa (unofficial port) | 3.3f-1 | 541.6 kB | 1,476.0 kB | [list of files] |
| hurd-i386 | 3.3f-1.1+b1 | 528.6 kB | 1,116.0 kB | [list of files] |
| i386 | 3.3f-1.1 | 532.0 kB | 1,120.0 kB | [list of files] |
| ia64 | 3.3f-1.1 | 749.4 kB | 2,072.0 kB | [list of files] |
| kfreebsd-amd64 | 3.3f-1.1 | 551.5 kB | 1,071.0 kB | [list of files] |
| kfreebsd-i386 | 3.3f-1.1 | 531.1 kB | 1,065.0 kB | [list of files] |
| m68k (unofficial port) | 3.3f-1.1 | 461.0 kB | 1,009.0 kB | [list of files] |
| mips | 3.3f-1.1 | 516.7 kB | 1,159.0 kB | [list of files] |
| mipsel | 3.3f-1.1 | 516.8 kB | 1,159.0 kB | [list of files] |
| powerpc | 3.3f-1.1 | 526.0 kB | 1,116.0 kB | [list of files] |
| powerpcspe (unofficial port) | 3.3f-1.1 | 521.4 kB | 1,054.0 kB | [list of files] |
| s390 | 3.3f-1.1 | 541.4 kB | 1,140.0 kB | [list of files] |
| s390x | 3.3f-1.1 | 556.6 kB | 1,222.0 kB | [list of files] |
| sh4 (unofficial port) | 3.3f-1.1 | 525.9 kB | 1,051.0 kB | [list of files] |
| sparc | 3.3f-1.1 | 507.9 kB | 1,089.0 kB | [list of files] |
| sparc64 (unofficial port) | 3.3f-1.1 | 513.3 kB | 1,022.0 kB | [list of files] |