标签： z3
我想在z3的固定点（路径Z3-4.0 / examples / fixedpoints）中尝试这个例子，但由于缺少buddy / fdd.h和buddy / bdd.h（在bdd_table中定义），源文件无法编译。 H）。你能告诉我在哪里可以找到这些文件吗？感谢
答案 0 :(得分：1)
是的，BuDDy不是由我们开发的。 它由Jorn Lind创建。 您可以从http://sourceforge.net/projects/buddy/