What's Changed
- Upgrade segomoe 6.2, thrift 0.20.0 by @relf in #196
- Upgrade multi-objective optimizer SEGMOOMOE 6.2 by @relf in #197
- Add variable info search by @relf in #198
- Fix EGMDO generated code to work with SMT > 1.3.0 by @relf in #199
Full Changelog: 1.30.0...1.30.2