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

Balík: mace2 (3.3f-1.1) [debports]

Odkazy pre mace2

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

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.

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
arm64 (neoficiálny port) 331.4 kB1,062.0 kB [zoznam súborov]