Solving Set Constraint Satisfaction Problems using ROBDDs