Abstract
<jats:p>У статті представлено результати наукового обґрунтування, експериментального дослідження та порівняння інструментальних засобів моделювання та розв’язання класу оптимізаційних задач, що базуються на парадигмі програмування з обмеженнями. Актуальність роботи зумовлена широким розповсюдженням в останні роки наукового програмного забезпечення, що дозволяє розв'язувати складні задачі оптимізації на основі імплементації математичної моделі вхідною мовою визначеного солвера для комп'ютерного розв'язання та подальшого пошуку рішень. Розвиток програмування з обмеженнями як концепції включає розробку нового інструментарію розв’язання поряд із розповсюдженням наявних технологій розв’язання на нові класи оптимізаційних задач. Проведено класифікацію основних парадигм програмування з прикладами мов програмування, які реалізують виділені парадигми. Визначено місце та характеристики MiniZinc, що зумовили вибір даного програмного засобу в якості інтегрованого середовища проєктування (IDE) в даному дослідженні. Проведено моделювання оптимізаційної задачі одновимірного розкрою вхідною мовою FlatZinc IDE MiniZinc та на основі множини чисельних експериментів проведено порівняння результатів застосування набору афілійованих з MiniZinc солверів, таких як Gecode, Chuffed, Coin-BC, HiGHS, OR-Tools. Визначені особливості реалізації програми для різних солверів. В якості наукової новизни виступає узагальнений підхід до визначення обмежень оптимізаційної задачі одновимірного розкрою, що включає як обмеження, що генеруються з неформальної постановки задачі, так і обмеження, яке не є вихідними, але якому має задовольняти оптимальний розв’язок задачі. Запропонований підхід може бути розповсюджений на інші класи оптимізаційних задач комбінаторної природи.</jats:p>