for x in gcc cc clang minisat z3 cbc glpsol lp_solve python3.11 python3.12 node; do command -v $x; done