klee/klee — pull request #120 by hpalikareva (2014-04-23 19:46:59+00:00)
Title: Fixing linking order if metaSMT is used: linking rt after z3 to avoid un...

...defined symbols in the z3 library.