Skip to content

Releases: enthought/sat-solver

v0.9.1

09 Sep 15:53
Compare
Choose a tag to compare
  • Fix the simplesat wheel build (#287)

v0.9.0

05 Sep 15:18
3215cfb
Compare
Choose a tag to compare
  • Replace travis CI with Github Actions (#281)
  • Run tests for Python 3.11 (#284)

v0.8.2

08 Oct 12:46
Compare
Choose a tag to compare

Released on October 8th, 2019.

  • Fix deprecated convert attribute in constraint_modifiers.py to
    comply with attrs package release 19.2.0 (see also
    https://www.attrs.org/en/stable/changelog.html_). (#270)
  • Fix typo in InvalidConstraint error message. (#266)
  • Fix error with UndeterminedClausePolicy not suggesting best packages. (#268)

Internals

  • Change minimum supported version of attrs to 17.4.0. (#270)