#!/bin/sh
python3 -m pip --version; pkg info | grep -E 'sat|z3|clang|python' | head -n 30