Various constraint programs.