which z3; which minisat; which cadical; which glpsol; which cbc; python3 -c "import z3; print(z3.get_version_string())"