Usage of Minizinc Globals

[dbinkele]

Hi,

looking at your Java-API for Minizinc, I see it is solid work. One thing I could not immediately spot is the ability to use globals (as are listed here https://www.minizinc.org/doc-2.4.3/en/lib-globals.html). This is quite essential for writing efficient Minizinc programs. Did I simply overlook it?!

Thanks in advance
Daniel

[rtaupe]

Hi Daniel,

Thanks for this issue!
Unfortunately, in the current version, you can use global constraints only in external files, which can then be included in your model (by using IncludeItem). Using them directly in JMiniZinc would require an extension of BooleanExpression.
We have no plans to implement this, but you are very welcome to open a pull request if you have resources for it!

Best regards,
Richard