У меня проблема с поиском решения с использованием MiniZinc. Задача: Необходимо составить график...

Я студент CS и использую Gurobi для проекта. Я здесь, потому что столкнулся с небольшой проблемой с...

Я работаю над проблемой игрушек, чтобы изучить миницинк.Возьмите массив (в настоящее время жестко...

Я пытаюсь запустить следующий код в Mac OS / X с Minizinc IDE 2.2.3 и Geocode 6.1.0 [встроенный]:...

Я пытаюсь запустить решатель minizinc из узла js. Я нашел библиотеку minizinc-solver, но я не знаю,...

Некоторые входные данные для моей модели должны привести к несовместимости модели, что приведет к...

Я хочу «помочь» решателю и предварительно выбрать какой-то объект, в основном выберите N самых...

Я пытаюсь создать модель в Minizinc, но получаю следующую ошибку: Error: Gecode: Float::linear:...

Из спецификации MiniZinc : Поплавки представляют собой действительные числа. Представления с...

Я просто хочу знать, используют ли оба эти решателя MiniZinc арифметику с бесконечной точностью по...

У меня есть версия задачи магазина, где задачи могут иметь множественную зависимость (жесткое...

Я только что попытался запустить mzn2fzn для следующего файла MiniZinc : var float: x1; var float:...

Я хотел бы написать решатель для планирования производства в SimCity buildit.Поскольку я абсолютный...

По умолчанию mzn2fzn автоматически вычисляет результат деления с плавающей запятой в модели...

Команда вывода в MiniZinc под Jupyter / Linux не выполняется. При запуске: %%minizinc var int:...

Я написал Миницинк-модель, которая позволяет учителю планировать отдельные занятия своих учеников

У меня есть модель мини-цинка, где у меня есть матрица расстояний: array[1..n, 1..n] of var float:...

Есть ли в MiniZinc встроенный метод, эквивалентный методу indexOf () в Java / index () в Python?

Что я могу сделать для исправления ошибок в следующей программе item= record( int: id, profit,...

У меня есть скрипт в минизинке, который пытается найти набор int, но не может это сделать. Для...

Я ценю, если кто-нибудь поможет мне с моим вопросом. Мне нужно смоделировать ограничение, согласно...

У меня есть вопрос о "точно" предикате в миницинке ... include "exactly.mzn"; %Scalar...

у меня есть файл mzn, который определяет значения набора int var set of int : ids; output...

Я использую модуль node.js «Управление инструментами CSP» для решения проблемы CSP.Следуя...

Можно ли представить массив и для всех операторов Model в более простом подходе, используя только...