Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

conda-forge.org "smt" keyword

pysmt 0.9.5
pySMT: A library for SMT formulae manipulation and solving
2 versions - Latest release: about 2 years ago - 491 stars on GitHub
Related Keywords
constraints 1 formula 1 python 1 python-3 1 satisfiability-modulo-theories 1 verification 1