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