A CSP solving API