Add --external-smt2-solver for custom solver path or custom options#8726

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:smt-solver-commandtautschnig/cbmc:smt-solver-commandCopy head branch name to clipboard