Warning: file_get_contents(/data/phpspider/zhask/data//catemap/0/email/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
z3-4.0中的Fixedpoints示例不起作用，因为缺少buddy/fdd.h和buddy/bdd.h_Z3 - Fatal编程技术网
Fatal编程技术网
  • z3/
  • z3-4.0中的Fixedpoints示例不起作用，因为缺少buddy/fdd.h和buddy/bdd.h

z3-4.0中的Fixedpoints示例不起作用，因为缺少buddy/fdd.h和buddy/bdd.h

z3

z3-4.0中的Fixedpoints示例不起作用，因为缺少buddy/fdd.h和buddy/bdd.h,z3,Z3,我想在z3的fixedpoints（路径z3-4.0/examples/fixedpoints）中尝试该示例，但源文件不可编译，因为缺少buddy/fdd.h和buddy/bdd.h（在bdd_table.h中定义）。你们能告诉我在哪里可以找到这些文件吗？。谢谢是的，BuDDy不是我们开发的。 它是由乔恩·林德创作的。 您可以从以下站点下载BuDDy：

我想在z3的fixedpoints（路径z3-4.0/examples/fixedpoints）中尝试该示例，但源文件不可编译，因为缺少buddy/fdd.h和buddy/bdd.h（在bdd_table.h中定义）。你们能告诉我在哪里可以找到这些文件吗？。谢谢

是的，BuDDy不是我们开发的。 它是由乔恩·林德创作的。 您可以从以下站点下载BuDDy：