ModsFinder
Z3