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
+