Компонент для поиска декомпозиционных множеств и оценки сложности экземпляров задач булевой выполнимости (SAT).