python3 -m pip install highspy -q;python3 -c 'import highspy;print(highspy.__version__)'