Corregge constraint version