nano-symex A tiny symbolic execution engine. To run this project, you need to have the Scala build tool sbt installed, as well as an SMT solver (currently supported: Z3, CVC4, Princess). Run the symbolic execution tool by calling sbt run.