Skip to content

Draft: Reed muller max arity

Знатнов Егор Павлович requested to merge reed_muller_max_arity into main

ReedMuller.synthesize now takes a maxArity parameter. It has to be more than 2, if it's more than Subnet::Cell::InPlaceLinks it's forced to be equal to Subnet::Cell::InPlaceLinks.

Merge request reports