diff options
Diffstat (limited to 'rba.tool.editor.endpoint/lib/linux/z3/include/z3.h')
-rw-r--r-- | rba.tool.editor.endpoint/lib/linux/z3/include/z3.h | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/rba.tool.editor.endpoint/lib/linux/z3/include/z3.h b/rba.tool.editor.endpoint/lib/linux/z3/include/z3.h new file mode 100644 index 0000000..382bc4b --- /dev/null +++ b/rba.tool.editor.endpoint/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 + |