ADDED: library(clpb). Constraint Logic Programming over Boolean variables, CLP(B).
add CLP(B)
add CLP(B)