~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-06-10	clean up metaSMT includes	Hoang M. Le

2016-01-14	MetaSMT build fixes.	Dan Liew

2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
	The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
2016-01-12	Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into	Dan Liew
	their own file ``MetaSMTSolver.cpp``. Whilst I'm here also clang-format the modified code. This might not be a NFC (non functional change) as there's a good chance this has broken the MetaSMT build of KLEE. I don't have a build of MetaSMT to hand and there is no TravisCI build. At this point because there is no maintainer for this code I think we should consider removing it as it is going bitrot.