diff options
Diffstat (limited to 'lib/Solver/CoreSolver.cpp')
| -rw-r--r-- | lib/Solver/CoreSolver.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/Solver/CoreSolver.cpp b/lib/Solver/CoreSolver.cpp index 94bb3a5e..66328f30 100644 --- a/lib/Solver/CoreSolver.cpp +++ b/lib/Solver/CoreSolver.cpp @@ -15,14 +15,9 @@ #ifdef ENABLE_METASMT -#include <metaSMT/frontend/Array.hpp> +#include <metaSMT/DirectSolver_Context.hpp> #include <metaSMT/backend/Z3_Backend.hpp> #include <metaSMT/backend/Boolector.hpp> -#include <metaSMT/backend/MiniSAT.hpp> -#include <metaSMT/DirectSolver_Context.hpp> -#include <metaSMT/support/run_algorithm.hpp> -#include <metaSMT/API/Stack.hpp> -#include <metaSMT/API/Group.hpp> #define Expr VCExpr #define Type VCType |