Karr-CSP