Создание моделей Cмешанное целочисленное программирование (MIP) Булевая выполнимость и оптимизация (SAT/MaxSAT)