Skip to content

OR-Tools CP-SAT

Choose a tag to compare

View all tags
@glebbelov glebbelov released this 28 Oct 03:27
· 24 commits to develop since this release
v4.2.0
04935ad
  • A new driver cpsat for OR-Tools CP-SAT; Gecode 6.4.0
  • Reformulation improvements (options cvt:pre:disj2ind, cvt:pre:vbnd), including for MP2NL
  • Bug fixes
Assets 2
Loading