Show instances for SMTSolver/SMTConfig
Simplify external solver interaction