Исходный код otter:
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.
|
|
|
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| alpha | 561,1 Кб | 1648 Кб | [список файлов] |
| amd64 | 529,8 Кб | 1444 Кб | [список файлов] |
| armel | 503,5 Кб | 1392 Кб | [список файлов] |
| avr32 (неофициальный перенос) | 513,8 Кб | 1304 Кб | [список файлов] |
| hppa | 541,6 Кб | 1476 Кб | [список файлов] |
| hurd-i386 | 493,4 Кб | 1388 Кб | [список файлов] |
| i386 | 496,4 Кб | 1388 Кб | [список файлов] |
| ia64 | 728,1 Кб | 2352 Кб | [список файлов] |
| kfreebsd-amd64 | 541,3 Кб | 1282 Кб | [список файлов] |
| kfreebsd-i386 | 492,7 Кб | 1186 Кб | [список файлов] |
| m68k (неофициальный перенос) | 464,4 Кб | 1348 Кб | [список файлов] |
| mips | 547,1 Кб | 1756 Кб | [список файлов] |
| mipsel | 548,5 Кб | 1756 Кб | [список файлов] |
| powerpc | 523,3 Кб | 1516 Кб | [список файлов] |
| s390 | 522,4 Кб | 1456 Кб | [список файлов] |
| sparc | 493,5 Кб | 1412 Кб | [список файлов] |