fix(tools): add more compiler options to _oasis
feat(opensmt/smtsolvers/SMTConfig): add "--ode-cache" option
tools(dReach): add dReach script
benchmark(hybrid_systems): rename 2d_oscillator => oscillator
benchmarks: update Makefile
tools(ODE_visualization): update vis.coffee
fix(tools/dReach): put curly braces for the bash variables
src(opensmt/smtsolvers): add --ode-forward-only option
feat(src/dsolvers/nra_solver): use Enode::get_vars
feat(dsolvers/icp_solver): support new ODE encoding, implement ode-cache
feat(dsolver/ode_solver): support new ODE encoding
chore(dsolvers/nra_solver.cpp): fix comments
tests(nra_ode): update ODE testset
chore: update .gitignore
fix(tools/ODE_visualization): use config variable to provide chart configuration (width, height, etc)
checkpoint