2.0.0 - released 2020-10-24

View the release on GitHub


  • 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