По умолчанию mzn2fzn автоматически вычисляет результат деления с плавающей запятой в модели MiniZinc и сохраняет его как постоянное значение float в результирующем FlatZinc . модель. Пример: Файл test.mzn var float: x; constraint...

В документации FlatZinc сказано, что только нестандартные предикаты должны быть объявлены в верхней части модели FlatZinc: Предикаты, используемые в модели, не являющиеся стандартными для FlatZinc, должны быть объявлены в верхней части модели...