Skip to content

NoOverlapOptional and CumulativeOptional mapping to MiniZinc - #1083

Open
WoutPiessens wants to merge 9 commits into
masterfrom
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

Reverted to original transformation + xfail for failing tests

f5c295e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar