Constraint Programming (cp)

mogul:/chorus/clls-examples	:	Some clls constraints.
mogul:/duchier/mehlhorn	:	graph-based satisfiability test for dominance constraints
mogul:/duchier/select	:	implements the selection constraint e.g. S={Select.fs [S1 ... Sn] I}