Modified installer to always download the latest patch from solver_patches repo
Modified installer to always download the latest patch from solver_patches repo

chubbymaggie/pysmt,pysmt/pysmt,agriggio/pysmt,chubbymaggie/pysmt,agriggio/pysmt,idkwim/pysmt,pysmt/pysmt,idkwim/pysmt