solver for csp programming problems