|
|
| Distribution |
Debian testing |
| Abteilung |
math |
| Quelle |
otter |
| Version |
3.3f-1 |
| Maintainer |
Peter Collingbourne <pcc03@doc.ic.ac.uk>
|
| Beschreibung |
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.
|
| Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
| Download |
amd64 |
|
|
|
