CoreSolver.cpp File Reference

#include "STPSolver.h"
#include "Z3Solver.h"
#include "MetaSMTSolver.h"
#include "klee/Solver/SolverCmdLine.h"
#include "klee/Support/ErrorHandling.h"
#include "klee/Solver/Solver.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include <string>

Include dependency graph for CoreSolver.cpp:

Go to the source code of this file.

Namespaces
namespace	klee

Functions
Solver *	klee::createCoreSolver (CoreSolverType cst)