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(benchmarks): updated results for grid planning

chore(benchmarks): git ignore
feat(benchmarks): problem for testing delta and ode
feat(tools): delta on jumps
feat(tools): added pruning of SMT encoding based upon reachability analysis

Added pruning of encoding using backwards reachability
fix(icp_solver): removed old ineffiency that propagated all constraints if  delta satisfiability is not met, now checks if propagating constraint will may help
chore(tests): remove obviated tests and merge options into one script

chore(dsolvers): style
feat(benchmarks): updated grid results for new reduced encoding

feat(benchmarks): updated grid results for new reduced encoding