which glpsol; which cbc; which scip; which highs; pkg info | grep -i -E 'scipy|numpy|glpk|or-tools|z3|minizinc'