Remove the submit tools and the solve and learn prompts - #191

Remove the submit tools and the solve and learn prompts#191

yichao-liang merged 1 commit into

masterBasisResearch/predicators:masterfrom

empiric-submit-tools-cleanupBasisResearch/predicators:empiric-submit-tools-cleanupCopy head branch name to clipboard