Announcing a Constraint Acquisition Challenge in connection with the Fifth Workshop on Progress Towards the Holy Grail. Further information is available here.

Please consider participating!