doc(osx-gcc.md): add pkg-config requirement

[skip ci]
feat: add build-dreal, build-dreach script
tests(nra): add testcases to resolve #54

[skip ci]
fix(heuristic): avoid backtracking in heuristic unless required

fix(style)

fix(heuristic): avoid backtracking in heuristic unless required

fix(style)
feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation
fix(heuristic): avoid backtracking in heuristic unless required
fix(style)
feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristics): checkpoint on implementing ode simulation

feat(heuristic): ode sim heuristic

cleanup
fix(ode_solver): fixed bug in capd formulation that involve double negative --
reverted rp_interval_pow to realpaver implementation because of bug in filib
ball dribbling example
toyota model 3
doc(windows-msys2.md): add

[skip ci]
test
start adding flowstar
added taylor model holder in egraph. next: put odes into the holder at parsing time. question: pointers to tms or not.
taylormodels folder
int vs unsigned
modifying parser
parse holders for partial ODEs