В MiniZinc (Windows IDE) Как я могу решить: flatzinc: error: переменные типа `var float 'не поддерживаются серверной частью решателя FD. Я понимаю, что мне нужен другой решатель, но не могу найти процедуру его установки, и dlg настроек не работает....

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