A Functional Constraint Library
