gpt4 book ai didi

z3 - 在哪里可以找到 z3 公理分析器?

转载 作者:行者123 更新时间:2023-12-02 08:23:00 24 4
gpt4 key购买 nike

many references用于调试 Z3 跟踪的工具,称为“Z3 Axiom Profiler”。我找到了 code which is part of the VCC project ,这似乎是公理分析器,已经使用了三年。从这些 VCC 源构建是获取分析器的正确方法,还是某处有更新的版本?

最佳答案

我指导了一名学生 (Frederik Rothenberger),他致力于对以前的公理分析器进行各种改进。您可能想试用较新的版本,其中包括许多错误修复和实例化图的新可视化。

更新版本可在此处获得:

https://bitbucket.org/viperproject/axiom-profiler

Frederik 的项目报告在这里,以备不时之需:

http://e-collection.library.ethz.ch/eserv/eth:48774/eth-48774-01.pdf

如果您尝试了,请告诉我您的进展情况。

亚历克斯·萨默斯 (alexander.summers@inf.ethz.ch)

关于z3 - 在哪里可以找到 z3 公理分析器?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35015628/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com