The constraint language for lambda structures
(CLLS, mogul:/chorus/clls) is a language of tree descriptions. This
package provides a collection of clls constraints which are intended
for testing new solvers. Currently only dominance constraints, a
fragment of clls, are included.