fix(.travis.osx.yml): typo
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
fix(benchmarks): setup grid-obstacle experiment scripts
fix(test): updated short_sat tests to use options
doc(osx-gcc.md): remove 'brew tap'

Now homebrew gcc install gcc-4.8.3_1. There is no need to use 'tap' feature.

[skip ci]
tests(nra_ode/simple_par): add test
fix(dsolvers/heuristics): fix ident, includes
tests(nra_ode/aimhigh_1_0.smt2.expected): fix the expected result (UNSAT)
fix(opensmt/api/OpenSMTContext): add constraints after processing addIntvCtr

close #45
fix(opensmt/egraph/Enode): change type of precision to double
refactor(dsolvers/icp_solver): simplify rp_variable creation

 - enlarge box size at once
 - assign domain in place
 - set precision only for real vars
fix(dsolver/ode_solver): fix the use of param in ODE

For an ODE "d/dt[x] = 0", we handle the variable 'x' as a parameter in
CAPD by putting it in a "par:" section, instead of "var:" section. It is
to minimize the number of ODE variables and avoid unnecessary
computation.

However, we still need to establish the relation between x_0 and x_t
variable, which was missed in the previous implementation. In each ODE
step (simple/non-simple forward/backward pruning), we takes an
intersection of _0 and _t variables of parameter, and update _0 and _t
with the intersected value. If any of the parameter variables gets an
empty interval, the whole process will return UNSAT.

close #19
close #44
chore(dsolvers/ode_solver): use DREAL_LOG_ERROR for exceptions
fix(dsolvers/ode_solver): skip ODE computation for trivial problem

skip ODE computation for trivial problems