Repository navigation

NoOverlapOptional and CumulativeOptional mapping to MiniZinc - #1083

Open

WoutPiessens wants to merge 9 commits into

fix/966-optional-globals-minizinc

Open

NoOverlapOptional and CumulativeOptional mapping to MiniZinc#1083
WoutPiessens wants to merge 9 commits into
masterfrom
fix/966-optional-globals-minizinc

Commits on Aug 13, 2026
- NoOverlapOptional and CumulativeOptional in Minizinc
  WoutPiessens
  committed
  ed609fe
- Extended tests
  WoutPiessens
  committed
  9a295cc
Commits on Aug 14, 2026
- Merge branch 'master' of https://github.com/CPMpy/cpmpy into fix/966-optional-globals-minizinc
  WoutPiessens
  committed
  608b242
- Comments addressed
  WoutPiessens
  committed
  8773e47
Commits on Aug 19, 2026
- Merge remote-tracking branch 'origin/master' into fix/966-optional-globals-minizinc
  IgnaceBleukx
  committed
  fdaf74d
Commits on Sep 28, 2026
- Merge remote-tracking branch 'origin/master' into fix/966-optional-globals-minizinc
  IgnaceBleukx
  committed
  707ae51
Commits on Sep 29, 2026
- Merge remote-tracking branch 'origin/master' into fix/966-optional-globals-minizinc
  WoutPiessens
  committed
  3d65270
- Preventive fix to prevent inconsistent handling of zero-duration tasks in optional globals
  WoutPiessens
  committed
  6588670
Commits on Sep 30, 2026
- Reverted to original transformation + xfail for failing tests
  WoutPiessens
  committed
  f5c295e