NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
