Contraint-based modeling workshop