Did you know ... Search Documentation:
library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains