Существует ли какой-либо метод распространения в программировании с ограничениями - GoogleORTools, такой как CPLEX-CP solver?

Question

Я хочу распространять соединение только в Constraint Programming-Google OR Tools и не ищу окончательного решения от Constraint программирования, но я не могу найти такой метод в Google OR Tools. Пожалуйста, ведите меня. Спасибо

Answer 1

Также спрашивают и отвечают здесь: https://groups.google.com/forum/#! Topic / or-tools-обсудить / BIFYQGH3XZo

Существует несколько более слабая версия.

См .: https://github.com/google/or-tools/blob/858fa626959f7e386153af82756384b79f983b5a/ortools/sat/cp_model.proto#L575

Установите правильные параметры и соберите уменьшенные границы из прото-ответа.