Did you know ... Search Documentation:
library(clpb): CLP(B): Constraint Logic Programming over Boolean Variables