mace2 3.3f-1.1 (amd64 binary) in ubuntu precise
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.
Details
- Package version:
- 3.3f-1.1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of otter 3.3f-1.1 in ubuntu precise RELEASE produced
these files:
- mace2_3.3f-1.1_amd64.deb (535.5 KiB)
Package relationships
- Depends on:
- Suggests: