Return many solutions to a CSP