LARA SMT Solvers in Symbolic Execution References and Links http://code.google.com/p/opensmt/ http://combination.cs.uiowa.edu/smtlib/solvers.html http://combination.cs.uiowa.edu/smtlib http://lara.epfl.ch/dokuwiki/nenofar
