update imports to not clash with master
modify domain_check docstring; give it a recursion helper
expose only solveset and domain_check
Merge pull request #9 from smichr/solveset

merge with master