Class DefaultConstraintVerifier<ConstraintProvider_ extends ConstraintProvider,​Solution_,​Score_ extends Score<Score_>>