Skip to content

Techmap bug fix

Добавил проверку на функциональную полноту (2-х входовые элементы).

Изменил std::unordered_map<kitty::dynamic_truth_table, std::vector<SubnetID> ... чтобы сохранять список всех Subnet эвивалентных одной dynamic_truth_table.

Баг фикс перестановок входов у ячеек.

Merge request reports