В настоящее время я работаю над MiniZin c, и я запускаю свои модели с двумя интегрированными в MiniZin c решателями: Gecode и Chuffed. Я запускал его в IDE, но я знаю, что он может быть запущен и в bash (с помощью команды minizinc
).
Но я хотел бы проверить, как мои модели работают с Google CP решатель, называемый OR-Tools. Но я действительно не знаю как. Я получил установку MiniZin c Snap в Ubuntu 18.04, но я могу загрузить каталог Mini * Zin c fre sh и запустить его локально, а также сконфигурировать решатель там (а не в установке Snap, поскольку каталоги Snap не могут быть модифицированный).
Мне нужен способ установить OR-Tools и заставить его работать хотя бы в терминале (но запускать его из IDE было бы прекрасно).
Спасибо!