Skip to content

Draft: Reed muller model2

Added Class ReedMuller2, that derives from the original ReedMuller and Synthesizer ReedMuller2 gets a kitty::dynamic_truth_table and produces an equal SubNet ID

Merge request reports