全部搜索项
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ 源代码: otter  ]

软件包: otter (3.3f-1)

otter 的相关链接

Screenshot

Debian 的资源:

下载源码包 otter:

维护者:

相似软件包:

resolution-style theorem prover

OTTER is an automated theorem prover for equational logic developed at Argonne National Laboratory.

OTTER's inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs. OTTER can also be used as a symbolic calculator and has an embedded equational programming system.

其他与 otter 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • enhances

下载 otter

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
armel 747.1 kB1,760.0 kB [文件列表]