CLPB
A library with a Boolean Constraint Solver based on BDDs.
Detailed package documentation (available shortly after this version has been published)