У меня было краткое знакомство с CP и MiniZinc, но я не эксперт. У меня есть модель CP, которую я не могу разместить здесь, банкомат, реализованный в MiniZinc. Мне нужно найти все возможные решения проблемы. Мы ожидаем, что их будет всего...

У меня есть следующая модель minizinc: include "globals.mzn"; var 0..9: A_1_1; var 0..9: A_2_1; var 0..9: A_3_1; constraint (A_3_1+A_2_1+A_1_1) = A_1_1; solve satisfy; Модель должна иметь тривиальное решение 0=A include "globals.mzn"; var...

Я пытаюсь использовать функцию оценки для своего ветвления в Gecode. В MPG, Руководстве по Gecode, указан пример функции качества и то, как передать ее в разветвление. Но я не могу понять, куда поместить функцию. Должен ли он быть внутри сценария...

Я использую minizinc со встроенным Gecode 6.1.1, и я хочу максимизировать целевую функцию со значениями, которые намного больше, чем max int 32. Максимальное значение целого числа с 32 битами составляет 2147483646. Хотя, похоже, не так много...

Я ищу альтернативу языку SystemVerilog на основе C ++. Хотя я сомневаюсь, что что-то там может сравниться с простотой и гибкостью языка ограничений SystemVerilog, я решил использовать Z3 или Gecode для того, над чем я работаю, в первую очередь...

В решателе ограничений, таком как Gecode, мы можем контролировать исследование пространства поиска с помощью функции ветвления. например branch(home , x , INT_VAL_MIN ) Это начнет исследование пространства поиска с минимально возможного значения...