- More robust Pyomo usage
- Make SUSPECT compatible with Pyomo 5.7.2+
- Try to compute special structure even if bounds are missing
- Add support for log10
- Improve handling of quadratic expressions in nonlinear problems
- Fix FBBT bug when handling some types of expressions
- Fix convexity on division
- Handle Pyomo MonomialTermExpression
- Minor bug fixes
- Use Pyomo expressions to represent the DAG
- Replace DAG with connected_model
- Add floating point math mode
- Minor performance fixes
- Add Quadratic expression type
- Add Interval special case for x*x
- Fix Interval sin
- Add Interval comparison with numbers
- Add Interval abs
- Add Interval power
- Change ExpressionType and UnaryFunctionType to IntEnum
- Documentation improvements
- First public release. Yay!