Skip to content

KChecker basic algorithm

Чижмар Михаил Михайлович requested to merge k_checker into main

Реализован первый этап проверки эквивалентности комбинационных схем методом Кюльмана.

Merge request reports