lib(clpfd)


    This library implements the syntax of M.Triska's clpfd library
    (and to some degree SICStus's clpfd library) on top of ECLiPSe's
    library(ic).  Its features can be freely mixed with library(ic).

    Differences:
    
    library(ic) uses floating point arithmetic, while Triska's clpfd uses
    bignums, which implies that the behaviour with large integers will differ
    more generally, propagation details and performance may differ
    (#\)/2 is currently not supported because of name clash
    TODO: automaton constraint
    


