Skip to content

Gate partition withou determinization

Adéla Štěpková requested to merge gate-refactoring into main

Refactor gate complement, change gate partition to use the antichains algorithm in mata

Merge request reports