Skip to content

Create kuehlmann checker

Пащенко Ярослав Владимирович requested to merge create-kuehlmann-checker into main

Данный МР добавляет в проект метод проверки логической эквивалентности, основанный на методе Кюльмана.

Для запуска проверки логической эквивалентности с использованием данного метода добавлен флаг klmn.

Также имеется возможность выбора флага -v для вывода более полных логов.

Edited by Пащенко Ярослав Владимирович

Merge request reports