An F model of the Balanced Academic Curriculum Problem (CSPlib prob030)
this model appears in: Brahim Hnich, "Function Variables for Constraint Programming"