Анализ SMT солверов
- Найти SMT солверы, которые могут быть полезны для решения задачи.
- Проанализировать их сильные и слабые стороны.
- Предложить различные способы сведения задачи поиска минимальных схем к SMT, а также задачи разных ограничений на схему.
Задача немного дублирует то, что будет делать Катя Купраш, но ей нужна будет помощь и контроль.