Skip to content

Add 'ConstrainedMatrix' and 'ConstrainedBitVector' to linearizations

The extended TNNMG step requires these typenames for the LinearSolver constructor. For the build-in linearizations the contrained types are the same as the unconstrained ones. Plus small notation change in tnnmgstep.hh

Merge request reports