LinearLeopard Feb 6 2022 at 12:27Zython (python-wrapper для minizinc) после года разработкиReading time3 minViews4.7KPython*Programming*Artificial IntelligenceTranslationTotal votes 5: ↑5 and ↓0+5Add to bookmarks17Comments3
dmitrysvd Feb 6 2022 at 16:13Это что-то вроде пролога, перебирающего все варианты решений через поиск с возвратом?
LinearLeopard Feb 6 2022 at 17:30Show previous commentЗависит от солвера, насколько я понял, gecode решает через метод ветвей и границ.
LinearLeopard Feb 7 2022 at 23:00Show previous commentНекоторые пытаются свести модель к СЛАУ, если получается — решают, если не получается, ругаются)
Zython (python-wrapper для minizinc) после года разработки