constraint-generator