#!/bin/sh
for x in minisat kissat cadical z3 yices glucose clasp gcc g++ python3; do which $x; done