- Phase 2 final release
- Modifies use of dReal to prefer parameter variables and account for differing scale in parameters and state variables
- Fixes bug with special characters in parameter and state variable names
- Notebook for phase 2 scaling evaluation
- pertinent model abstraction and stratification support