Add programbench submit (package / verify / recombine)#39

john-b-yang wants to merge 1 commit into

mainfacebookresearch/ProgramBench:mainfrom

add-submit-commandsfacebookresearch/ProgramBench:add-submit-commandsCopy head branch name to clipboard