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

[skip ci]
feat: add build-dreal, build-dreach script
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