removed incomplete error handling from SMT2Parser
fixed compile-time error due to missing namespace in UTreeEvaluator
removed redundant header from test_optimization
fixed minimization algorithm: when witness is smaller than the minimum return with the minimum as a possible solution
provide hash_value overloads for predicate, bitvector, and array
improves test cases QF_BV/bvuint_t and QF_BV/bvsint_t
fixes bvuint in Z3_Backend for long unsigned integer constants
simplifies bvuint and bvsint in Z3_Backend utilizing Z3_mk_unsigned_int64 and Z3_mk_int64
fixed signed extension in test case QF_BV/bvsint_t