Zython (python-wrapper для minizinc) после года разработки

[dmitrysvd]

Это что-то вроде пролога, перебирающего все варианты решений через поиск с возвратом?

[LinearLeopard]

Зависит от солвера, насколько я понял, gecode решает через метод ветвей и границ.

[LinearLeopard]

Некоторые пытаются свести модель к СЛАУ, если получается — решают, если не получается, ругаются)