pysmt (conda): pySMT: A library for SMT formulae manipulation and solving
Keywords: constraints|formula|python|python-3|satisfiability-modulo-theories|smt|verification