Add scip-cli to tools section#451

flesler wants to merge 1 commit into

scip-code:mainscip-code/scip:mainfrom

flesler:add-scip-cli-to-toolsflesler/scip:add-scip-cli-to-toolsCopy head branch name to clipboard