[  lenny  ] [  squeeze  ] [  sid  ]
[ Källkod: otter  ]

Paket: mace2 (3.3f-1)

program that searches for finite models of first-order statements

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.

Märken: Role: Program, Purpose: Searching

Andra paket besläktade med mace2

  • beror
  • rekommenderar
  • föreslår
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU C-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av 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-bibliotek: Delade bibliotek
    också ett virtuellt paket som tillhandahålls av libc6.1-udeb
  • rec: c-shell
    virtuellt paket som tillhandahålls av csh, tcsh
  • rec: otter
    resolution-style theorem prover
  • rec: perl
    Larry Walls "Practical Extraction and Report Language"
  • sug: swi-prolog
    ISO/Edinburgh-style Prolog interpreter
    eller gprolog
    GNU Prolog compiler

Hämta mace2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
alpha 561,1 kbyte1648 kbyte [filförteckning]
amd64 529,8 kbyte1444 kbyte [filförteckning]
armel 503,5 kbyte1392 kbyte [filförteckning]
avr32 (inofficiell anpassning) 513,8 kbyte1304 kbyte [filförteckning]
hppa 541,6 kbyte1476 kbyte [filförteckning]
hurd-i386 493,4 kbyte1388 kbyte [filförteckning]
i386 496,4 kbyte1388 kbyte [filförteckning]
ia64 728,1 kbyte2352 kbyte [filförteckning]
kfreebsd-amd64 541,3 kbyte1282 kbyte [filförteckning]
kfreebsd-i386 492,7 kbyte1186 kbyte [filförteckning]
m68k (inofficiell anpassning) 464,4 kbyte1348 kbyte [filförteckning]
mips 547,1 kbyte1756 kbyte [filförteckning]
mipsel 548,5 kbyte1756 kbyte [filförteckning]
powerpc 523,3 kbyte1516 kbyte [filförteckning]
s390 522,4 kbyte1456 kbyte [filförteckning]
sparc 493,5 kbyte1412 kbyte [filförteckning]