všetky možnosti
jessie  ] [  sid  ]
[ Zdroj: otter  ]

Balík: mace2 (3.3f-1.1)

Odkazy pre mace2

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík otter:

Správca:

Podobné balíky:

program na hľadanie konečných modelov výrazov prvého rádu

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.

Značky: Role: Program, Purpose: Searching

Ostatné balíky súvisiace s balíkom mace2

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť mace2

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 550.6 kB1,126.0 kB [zoznam súborov]
armel 501.0 kB1,384.0 kB [zoznam súborov]
armhf 477.8 kB853.0 kB [zoznam súborov]
i386 532.0 kB1,120.0 kB [zoznam súborov]