K 10
svn:author
V 3
0mp
K 8
svn:date
V 27
2020-08-08T22:47:28.574718Z
K 7
svn:log
V 223
math/py-pysmt: Update to 0.9.0

Release notes: https://github.com/pysmt/pysmt/releases/tag/v0.9.0

Also:
- Add some solvers to TEST_DEPENDS to skip less tests
- Drop support for Python 2, it's not longer supported upstream

END