Skip to content

20191123
Compare
Choose a tag to compare
@informarte informarte released this 23 Nov 20:33
· 319 commits to master since this release
20191123
6606537

New features:

  • Reified global constraints (requires at least MiniZinc 2.3)
  • bool2costs allows to turn Boolean MiniZinc expressions into soft constraints (see README)

Bug fixes:

  • Handle overflows in propagation of linear constraints
  • Fixed cumulative to ignore tasks with negative duration or consumption
  • Fixed diffn to ignore rectangles with negative width or height
  • Fixed disjunctive to ignore tasks with negative duration
Assets 4
Loading