ls /usr/local/bin | grep -E 'sat|z3|sage|gap|magma|julia|matlab'; pkg info | head -20