Интегрировать в систему scp-решатель

[Gobestvini]

Тождественные преобразования.
Содержание задачи скоро появится...
Если не появится спрашивайте о ней Вову)

[MaxGavr]

Обеспечить функционирование решателя в рамках системы.
Исходный код решателя: https://github.com/ostis-set-theory/scp-solver