//===----------------------------------------------------------------------===//
// KLEE Symbolic Virtual Machine
//===----------------------------------------------------------------------===//

KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure.

This version is a stripped down version of KLEE (~2009) and merely used as
an LLVM interpreter for S2E. It includes some recent updates from upstream (cmake,
expression printers, etc.).

The original version can be found on http://klee.github.io/.
