lib(tentative_constraints)


    This library contains tentative value implementations for some basic
    constraints.  It is intended to be used together with lib(tentative),
    which provides the underlying primitives and facilities to create
    tentative variables, manage constraint sets, and to do search.


