push pre-built toolneedlefish_13.93.0needlefish/13.93.0marlin_12.93.0marlin_12.92.0marlin_12.91.0marlin_12.90.1marlin/12.93.0marlin/12.92.0marlin/12.91.0marlin/12.90.1lamprey_12.1.6lamprey_12.1.5lamprey_12.1.4lamprey_12.1.3lamprey_12.1.2lamprey_12.1.1lamprey_12.1.0lamprey/12.1.6lamprey/12.1.5lamprey/12.1.4lamprey/12.1.3lamprey/12.1.2lamprey/12.1.1lamprey/12.1.0koi_11.0.5koi/11.0.513.93.012.93.012.92.012.91.012.90.112.1.612.1.512.1.412.1.312.1.212.1.112.1.011.0.5

Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>

1 files changed, 38 insertions, 0 deletions

diff --git a/tool_bin/lib/linux/z3/include/z3.h b/tool_bin/lib/linux/z3/include/z3.h
new file mode 100644
index 0000000..382bc4b
--- /dev/null
+++ b/tool_bin/lib/linux/z3/include/z3.h
@@ -0,0 +1,38 @@
+/*++
+Copyright (c) 2007 Microsoft Corporation
+
+Module Name:
+
+    z3.h
+
+Abstract:
+
+    Z3 API.
+
+Author:
+
+    Nikolaj Bjorner (nbjorner)
+    Leonardo de Moura (leonardo) 2007-06-8
+
+Notes:
+
+--*/
+
+#ifndef Z3_H_
+#define Z3_H_
+
+#include <stdio.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include "z3_macros.h"
+#include "z3_api.h"
+#include "z3_ast_containers.h"
+#include "z3_algebraic.h"
+#include "z3_polynomial.h"
+#include "z3_rcf.h"
+#include "z3_fixedpoint.h"
+#include "z3_optimization.h"
+#include "z3_fpa.h"
+#include "z3_spacer.h"
+#endif
+