Find SMT solver on path or by option on command line