Use MiniSearch with Lastest Minizinc

Just try to use MiniSearch with Minizinc 2.8.3

Use MiniSearch with Lastest Minizinc

Just try to use MiniSearch with Minizinc 2.8.3

How to use arg_sort on array[int] of var int in MiniZinc?

I am using MiniZinc and want to find the order (low to high) of numbers in an array of var ints.

How to provide opt type data with json

Thanks a lot for help .
Mzn define like following