Задача . Для заданного неориентированного графа с метками (1..n) создайте в Gecode модель для нахождения суперграфа с заданной степенью последовательности: Трудности : основная трудность заключается в том, чтобы найти причудливую модель, чтобы...

Я хотел бы решить модель с динамическими аргументами во время выполнения на Java. Моя проблема написана в MiniZinc. С терминала я могу решить модель, вызвав следующие команды: mzn2fzn model.mzn model_data.dzn (this produces model.fzn file)...