feat: Neater solver config option for external solvers in Blase#1922

georgerennie merged 1 commit intomainopencompl/lean-mlir:mainfrom

george/solver_configopencompl/lean-mlir:george/solver_configCopy head branch name to clipboard