feat: add SolveTVM to library API, delegate engine to it#10

shanehull merged 1 commit into

mainshanehull/dozen:mainfrom

refactor/tvm-solveshanehull/dozen:refactor/tvm-solveCopy head branch name to clipboard