Use a custom Github action for setting up the SMT solvers

Use a custom Github action for setting up the SMT solvers #2899