全部搜索项
[  buster  ] [  bullseye  ]
[ 源代码： alt-ergo  ]

软件包：alt-ergo（2.0.0-7 以及其他的）

alt-ergo 的相关链接

Screenshot

Debian 的资源：

下载源码包 alt-ergo：

维护小组：

外部的资源：

相似软件包：

Automatic theorem prover dedicated to program verification

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.

This package contains the prover as a command-line executable.

标签: 实做语言: OCaml, 用户接口: Graphical User Interface, interface::x11, role::program, 界面工具箱: GTK

其他与 alt-ergo 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 alt-ergo

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
amd64 2.0.0-7+b4 1,967.5 kB9,736.0 kB [文件列表]
arm64 2.0.0-7+b4 2,260.4 kB10,856.0 kB [文件列表]
armel 2.0.0-7+b4 282.7 kB2,071.0 kB [文件列表]
i386 2.0.0-7+b4 1,850.7 kB9,105.0 kB [文件列表]
mips64el 2.0.0-7+b4 282.8 kB2,071.0 kB [文件列表]
mipsel 2.0.0-7+b4 282.8 kB2,071.0 kB [文件列表]
ppc64el 2.0.0-7+b4 2,085.2 kB10,567.0 kB [文件列表]
s390x 2.0.0-7+b4 2,110.8 kB11,119.0 kB [文件列表]