ccadar/klee — pull request #41 by hpalikareva (2013-10-11 19:10:25+00:00)
Title: Metasmt multisolver

Functionality for using STP, Boolector and Z3 through metaSMT fully integrated into KLEE and Kleaver. Web page with instructions how to build and use to follow shortly.