heechul/crest-z3 — pull request #4 by dqx (2013-06-13 03:44:08+00:00)
Title: Update symbolic_expression.cc

In the initial edition of CREST, the variable range is not limited to 128, but the number of variables in an expression is limited up to 128.