mace2 binary package in Ubuntu Precise i386
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2011-10-26 15:03:48 UTC | Published | Ubuntu Precise i386 | release | universe | math | Optional | 3.3f-1.1 | ||
|
|||||||||
2011-10-26 15:05:40 UTC | Superseded | Ubuntu Precise i386 | release | universe | math | Optional | 3.3f-1 | ||
|