Ruby library for solving Constraint Satisfaction Problems (CSPs)