Появление добавочки к эвристике. Поправлены правила и тп. Переписан поиск в ширину.
На введенные новые методы редуцирования стоит написать листинги. Для старых методов исправить листинги. В раздел архитектура добавить ссылку на листинг и сам листинг (хотя бы кратко). Стоит проверить сложности всех методов. Стоит обновить последнюю таблицу сравнения методов доказательства, добавив остальные методы.
Добавить в презентацию новый метод. Описать все методы. Возможно написать эффективность применения методов. Например эвристика 1 дает 1000% над методом в глубину.