fix(realpaver/rp_interval): fix log message
fix(realpaver/rp_lexer): support num literal: "[0-9]+E(+|-)?[0-9]+"
fix(realpaver/rp_interval): fix log message
fix(CMakeLists, bin/dReach): use dReal instead of solver
feat(CMakeLists): add packaging via cpack
fix(CMakeLists): add static support for OS X
fix(opensmt/egraph/Enode.C): use fixed notation in print_infix
fix(realpaver/rp_constant): respect 'out' when display
chore(dsolvers/ode_solver.cpp): add debug message
feat(realpaver/rp_constraint): add delta
fix(dsolver/icp_solver): remove get_var_split_delta1
fix: constraint_width
checkpoint