全部搜索项
bianca  ]
[ 源代码: gappa  ]

软件包:gappa(1.6.0-1)

gappa 的相关链接

Screenshot

下载源码包 gappa

维护小组:

外部的资源:

相似软件包:

Automatic generation of proofs of arithmetic properties

Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic.

其他与 gappa 有关的软件包

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

下载 gappa

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