Есть ли в MiniZinc встроенный метод, эквивалентный методу indexOf () в Java / index () в Python?
Нет, насколько мне известно, и в соответствии со спецификацией MiniZinc для indexOf() нет встроенной функции.Для этого вам нужно написать свою собственную функцию, например, следуя линии этого поста .
indexOf()