文件名称:
alt-ergo:适用于Alt-Ergo的OCamlPro公共开发存储库-源码
开发工具:
文件大小: 3mb
下载次数: 0
上传时间: 2021-03-08
详细说明：Alt-Ergo
是设计用于程序验证的数学公式的开源自动求解器。 它基于（SMT）。 在过去的十年中，这个家庭的解决方案取得了令人瞩目的进步，并且非常受欢迎。 现在，它们被用于各个领域，例如硬件设计，软件验证和正式测试。 它是由开发的，现在由改进和维护，并且与开发团队保持了友好的协作。
您可以在线 。 另请参阅。
建置状态
下一个
掌握
网站
Alt-Ergo的网站： : 。
文献资料
请参阅我们的其中包含
有关如何使用Alt-Ergo的信息，请参见“。
关于Alt-Ergo支持的部分。
和。
下载
我们提供版Alt-Ergo的资源包。 您也可以在GitHub的上找到它。
使用以下命令，可以在OCaml软件包管理器使用Alt-Ergo：
opam install alt-ergo
版权
根据 Alt-Ergo可免费用于非商业用途（例如学术和探索性试验）。
对于商业用途，请
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
