Поиск SAT и SMT солверов
- Найти SAT и SMT солверы
- Проанализировать их особенности: формат описания задачи, наличие каких-то дополнительных фичей, на каких задачах показали себя лучше всего.
- Построить сведение задачи о поиске оптимальной схемы для умножения от малого числа переменных в классе СФЭ из 4-LUT.
К первому дедлайну нужно сделать первый пункт.