chore(.gitignore): update
feat(tools/ODE_visualization): adapt to the new visualization format (json)
chore(.gitignore): update
feat(tools/simple-bmc): add bmc.sh
benchmark(hybrid_systems): update Makefiles
feat(dsolvers/util/scoped_env): add lookup method
fix(dsolvers/util/scoped_vec): fix operator<< (polarity)
feat(opensmt/parsers/smt2): add "integral", change forallT and define-ode
feat(opensmt/api/OpenSMTContext): update DefineODE, mkForallT, and mkIntegral
feat(opensmt/egraph): update for defineODE, mkForallT, and mkIntegral
benchmark(bing_example): add Bing's examples
checkpoint