[  lenny  ] [  squeeze  ] [  sid  ]
[ Source: otter  ]

Paketti: 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.

Tagit: Role: Program, Purpose: Searching

Muut pakettiin mace2 liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa 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-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc6.1-udeb
  • rec: c-shell
    näennäispaketti, jonka toteuttaa csh, tcsh
  • rec: otter
    resolution-style theorem prover
  • rec: perl
    Larry Wallin kieli tekstitiedostojen analysointia ja raportointia varten
  • sug: swi-prolog
    ISO/Edinburgh-tyylinen Prolog-tulkki
    tai gprolog
    GNU Prolog compiler

Imuroi mace2

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
alpha 561.1 kt1648 kt [tiedostoluettelo]
amd64 529.8 kt1444 kt [tiedostoluettelo]
armel 503.5 kt1392 kt [tiedostoluettelo]
avr32 (epävirallinen siirros) 513.8 kt1304 kt [tiedostoluettelo]
hppa 541.6 kt1476 kt [tiedostoluettelo]
hurd-i386 493.4 kt1388 kt [tiedostoluettelo]
i386 496.4 kt1388 kt [tiedostoluettelo]
ia64 728.1 kt2352 kt [tiedostoluettelo]
kfreebsd-amd64 541.3 kt1282 kt [tiedostoluettelo]
kfreebsd-i386 492.7 kt1186 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 464.4 kt1348 kt [tiedostoluettelo]
mips 547.1 kt1756 kt [tiedostoluettelo]
mipsel 548.5 kt1756 kt [tiedostoluettelo]
powerpc 523.3 kt1516 kt [tiedostoluettelo]
s390 522.4 kt1456 kt [tiedostoluettelo]
sparc 493.5 kt1412 kt [tiedostoluettelo]