Комментарии 3
Это что-то вроде пролога, перебирающего все варианты решений через поиск с возвратом?
Зависит от солвера, насколько я понял, gecode решает через метод ветвей и границ.
Некоторые пытаются свести модель к СЛАУ, если получается — решают, если не получается, ругаются)
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Zython (python-wrapper для minizinc) после года разработки