[  lenny  ] [  squeeze  ] [  sid  ]
[ 源代码: otter  ]

软件包: 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.

标签: Role: Program, Purpose: Searching

其它与 mace2 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc0.1-udeb
  • dep: libc0.3 (>= 2.3.5-1) [hurd-i386]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc0.3-udeb
  • dep: libc6 (>= 2.3.5-1) [amd64, hppa, m68k, mips, mipsel, powerpc, s390, sparc]
    GNU C 语言运行库：共享库
    同时作为一个虚包由这些包填实: 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 语言运行库：共享库
    同时作为一个虚包由这些包填实: libc6.1-udeb
  • rec: c-shell
    本虚包由这些包填实: csh, tcsh
  • rec: otter
    resolution-style theorem prover
  • rec: perl
    Larry Wall 的实用抽取和报表语言（Practical Extraction and Report Language）
  • sug: swi-prolog
    ISO/Edinburgh-style Prolog interpreter
    或者 gprolog
    GNU Prolog compiler

下载 mace2

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
alpha 561.1 kB1648 kB [文件列表]
amd64 529.8 kB1444 kB [文件列表]
armel 503.5 kB1392 kB [文件列表]
avr32 (非官方移植版) 513.8 kB1304 kB [文件列表]
hppa 541.6 kB1476 kB [文件列表]
hurd-i386 493.4 kB1388 kB [文件列表]
i386 496.4 kB1388 kB [文件列表]
ia64 728.1 kB2352 kB [文件列表]
kfreebsd-amd64 541.3 kB1282 kB [文件列表]
kfreebsd-i386 492.7 kB1186 kB [文件列表]
m68k (非官方移植版) 464.4 kB1348 kB [文件列表]
mips 547.1 kB1756 kB [文件列表]
mipsel 548.5 kB1756 kB [文件列表]
powerpc 523.3 kB1516 kB [文件列表]
s390 522.4 kB1456 kB [文件列表]
sparc 493.5 kB1412 kB [文件列表]