2.0.0 - released 2020-10-24
Changelog
- Fixed proxy handling issues when combined with our new curl-based downloader
- Fixed solver bug resulting in endless loops in some cases
- Fixed solver output being extremely long due to learnt rules
- Fixed solver bug with multi literals
- Fixed a couple minor regressions