我正在寻找固定点Z3接受的数据记录输入格式的示例，规范或文档。我在源代码发行版中查找过它们，但没有找到。它们是在线提供还是在任何报告/论文中提供？
答案 0 :(得分：2)
我认为你的问题是关于带有“.datalog”后缀的文件。 在线教程说：“使用BDDBDDB格式解析带有后缀.datalog的文件。该格式可用于将基准与BDDBDDB工具进行比较。” 我相信应该有相当数量的文件示例 BDDBDDB工具从该工具的分发页面接受。我们的解析器可能有一些不兼容性，因为我不知道这种语言的规范。
您还可以输入SMT2格式的数据记录问题。 SMT2的扩展很少，我们在http://research.microsoft.com/en-us/people/nbjorner/bmr-smt.pdf
中对它们进行了描述答案 1 :(得分：1)
以下在线教程中介绍了输入格式。