#!/bin/sh
python3 -c 'import ctypes.util;print([(i,ctypes.util.find_library(i)) for i in ("z3","sat","glucose","minisat")])'