Motivation
In #267 we need to implicate a new version of is_sat_relaxed, right now we have one version of this function, and there should be at least two, for each of the folding schemes currently available
Overview
I introduced a new trait IsSatAccumulator, making it so that each FoldingScheme allows you to check whether its accumulator satisfied or not
This PR doesn't provide any new code, it's just a refactoring of the API
Motivation In #267 we need to implicate a new version of
is_sat_relaxed
, right now we have one version of this function, and there should be at least two, for each of the folding schemes currently availableOverview I introduced a new trait
IsSatAccumulator
, making it so that eachFoldingScheme
allows you to check whether its accumulator satisfied or notThis PR doesn't provide any new code, it's just a refactoring of the API