expose only solveset and domain_check