我想在 z3 的定点（路径 Z3-4.0/examples/fixedpoints）中尝试该示例，但由于缺少 buddy/fdd.h 和 buddy/bdd.h（在 bdd_table.h 中定义），源文件不可编译。各位大佬能告诉我在哪里可以找到这些文件吗？感谢
问问题
68 次
1 回答
1
是的，BuDDy 不是我们开发的。它是由 Jorn Lind 创建的。您可以从以下网址下载 BuDDy：http: //sourceforge.net/projects/buddy/
于 2012-06-20T14:22:57.460 回答