Experimental: trying to get pypy to work on CI
Experimental: trying to get pypy to work on CI

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