Testing a new shippable configuration for python3
Testing a new shippable configuration for python3

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