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