klee/klee — pull request #121 by hpalikareva (2014-04-24 14:36:05+00:00)
Title: Fixed creation of arrays with variable domains and ranges in STPBuilder ...

...and MetaSMTBuilder.