[Bug 1808467] Review Request: python-pysmt - Solver-agnostic library for SMT Formulae manipulation and solving