/// @mainpage KLEE
///
/// @section main_intro Introduction
/// Welcome to KLEE. KLEE is a symbolic execution engine that works on LLVM
/// bitcode.
/// 
/// @section Documentation
/// The documentation of KLEE is composed of the Doxygen documentation
/// of the code as well as the following documents:
/// - @subpage overview