These features are experimental and might significantly change or be removed in future versions of MiniZinc.