csp (racket): solve constraint-satisfaction problems
Keywords: constraint