#!/bin/sh
command -v cc; command -v clang; command -v curl; command -v pkg; find /usr/local/bin -maxdepth 1 \( -iname '*mini*sat*' -o -iname '*z3*' -o -iname '*glucose*' \)