CHIC

Constraint handling in industry and commerce