Stiahnuť zdrojový balík otter:
MACE je program, ktorý hľadá konečné modely výrazov prvého rádu a rovníc vyvinutý v Argonne National Laboratory.
Tento balík obsahuje ANLDP, ktorý priamo volá propozičnú rozhodovaciu procedúru v jadre MACE.
MACE slúži ako doplnok k OTTER, ktorý hľadá vyvrátenia rovnakej triedy výrazov. Obzvlášť ak máte konjunkciu prvého rádu, OTTER bude hľadať dôkaz a MACE bude hľadať protipríklad z rovnakého vstupného súboru.
|
|
|
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| alpha | 561.1 kB | 1648 kB | [zoznam súborov] |
| amd64 | 529.8 kB | 1444 kB | [zoznam súborov] |
| armel | 503.5 kB | 1392 kB | [zoznam súborov] |
| avr32 (neoficiálny port) | 513.8 kB | 1304 kB | [zoznam súborov] |
| hppa | 541.6 kB | 1476 kB | [zoznam súborov] |
| hurd-i386 | 493.4 kB | 1388 kB | [zoznam súborov] |
| i386 | 496.4 kB | 1388 kB | [zoznam súborov] |
| ia64 | 728.1 kB | 2352 kB | [zoznam súborov] |
| kfreebsd-amd64 | 541.3 kB | 1282 kB | [zoznam súborov] |
| kfreebsd-i386 | 492.7 kB | 1186 kB | [zoznam súborov] |
| m68k (neoficiálny port) | 464.4 kB | 1348 kB | [zoznam súborov] |
| mips | 547.1 kB | 1756 kB | [zoznam súborov] |
| mipsel | 548.5 kB | 1756 kB | [zoznam súborov] |
| powerpc | 523.3 kB | 1516 kB | [zoznam súborov] |
| s390 | 522.4 kB | 1456 kB | [zoznam súborov] |
| sparc | 493.5 kB | 1412 kB | [zoznam súborov] |