[  lenny  ] [  squeeze  ] [  sid  ]
[ Zdroj: otter  ]

Balík: mace2 (3.3f-1)

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
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    tiež virtuálny balík poskytovaný balíkom libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C Library: Shared libraries
    tiež virtuálny balík poskytovaný balíkom libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU C Library: Shared libraries
    tiež virtuálny balík poskytovaný balíkom libc6-udeb
    dep: libc6 (>= 2.3.6-6) [i386]
    dep: libc6 (>= 2.5) [avr32]
    dep: libc6 (>= 2.5-5) [armel]
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C Library: Shared libraries
    tiež virtuálny balík poskytovaný balíkom libc6.1-udeb
  • rec: c-shell
    virtuálny balík poskytovaný balíkom csh, tcsh
  • rec: otter
    resolution-style theorem prover
  • rec: perl
    Practical Extraction and Report Language Larryho Walla
  • sug: swi-prolog
    ISO/Edinburgh-style Prolog interpreter
    alebo gprolog
    GNU Prolog compiler

Stiahnuť mace2

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha 561.1 kB1648 kB [zoznam súborov]
amd64 529.8 kB1444 kB [zoznam súborov]
armel 503.5 kB1392 kB [zoznam súborov]
avr32 (neoficiálny port) 513.8 kB1304 kB [zoznam súborov]
hppa 541.6 kB1476 kB [zoznam súborov]
hurd-i386 493.4 kB1388 kB [zoznam súborov]
i386 496.4 kB1388 kB [zoznam súborov]
ia64 728.1 kB2352 kB [zoznam súborov]
kfreebsd-amd64 541.3 kB1282 kB [zoznam súborov]
kfreebsd-i386 492.7 kB1186 kB [zoznam súborov]
m68k (neoficiálny port) 464.4 kB1348 kB [zoznam súborov]
mips 547.1 kB1756 kB [zoznam súborov]
mipsel 548.5 kB1756 kB [zoznam súborov]
powerpc 523.3 kB1516 kB [zoznam súborov]
s390 522.4 kB1456 kB [zoznam súborov]
sparc 493.5 kB1412 kB [zoznam súborov]