MiniZinc

Сегодня хочу рассказать про такой замечательный инструмент как MiniZinc.

Я недавно столкнулся с классической задачей на conatraint programming. Сначала думал начать решать ее с помощью гугловских or-tools, но по ссылкам от них наткнулся на MiniZic. Это декларативный язык + IDE + интерфейсы к десятку солверов.

Сейчас я с ним активно играюсь, и впечатления самые положительные. Тем более, что его разработчики выложили на Courserra два курса по этому инструменту:

• Трейлер
• Курс 1: Basic Modeling for Discrete Optimization 
• Курс 2: Advanced Modeling for Discrete Optimization

Так что, всем кто сталкивается с задачами средней сложности в области дискретной оптимизации я с чистой совестью хочу порекомендовать этот инструмент.

PS: И да, интеграция с питоном у миницинка есть, если что :)