文件名称：alt-ergo:适用于Alt-Ergo的OCamlPro公共开发存储库
文件大小：3.07MB
文件格式：ZIP
更新时间：2024-03-28 14:39:47
satisfiability-modulo-theories OCaml
Alt-Ergo 是设计用于程序验证的数学公式的开源自动求解器。 它基于（SMT）。 在过去的十年中，这个家庭的解决方案取得了令人瞩目的进步，并且非常受欢迎。 现在，它们被用于各个领域，例如硬件设计，软件验证和正式测试。 它是由开发的，现在由改进和维护，并且与开发团队保持了友好的协作。 您可以在线 。 另请参阅。 建置状态 下一个 掌握 网站 Alt-Ergo的网站： : 。 文献资料 请参阅我们的其中包含 有关如何使用Alt-Ergo的信息，请参见“。 关于Alt-Ergo支持的部分。 和。 下载 我们提供版Alt-Ergo的资源包。 您也可以在GitHub的上找到它。 使用以下命令，可以在OCaml软件包管理器使用Alt-Ergo： opam install alt-ergo 版权 根据 Alt-Ergo可免费用于非商业用途（例如学术和探索性试验）。 对于商业用途，请