Skip to content

v2.3.2

Compare
Choose a tag to compare
@czengler czengler released this 29 Aug 19:41
· 124 commits to master since this release

Changed

  • The cached PB and CC encodings are no longer held in the constraint itselt but analogously to the other caches in the formula factory.

Fixed

  • A small bug which could occur when using the extended formula factory in combination with cached CC and PB encodings.