Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upInvestigate if rewriting to `cumulatives` is good for zero-length tasks when posting MiniZinc constraints `gecode_cumulatives` #82
Labels
Comments
zayenz
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
In the registry function for
gecode_cumulativesthe case where the tasks may have zero-length duration and the bound is not assigned is currently decomposed into basic constraints.An alternative re-write strategy would be to rewrite to cumulatives using multiple machines, where zero-length tasks are on a different machine with an "unlimited" bound.
If #81 has been implemented, this should be tested in the new MiniZinc rewriting, otherwise in the current C++ code.