Class BavetScoringQuadConstraintStream<Solution_,​A,​B,​C,​D>