Skip to content

Projections enumeration level option

Introduce projections enumeration level option (ProjEnumLvl) to control the model space filtering behaviour, i.e. to choose between goals of: a) finding a maximal reduction (minimal model), and b) finding as many reductions as possible.

Levels specification