Ecosyste.ms: Packages

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

conda-forge.org "constraints" 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
Top 7.8% on conda-forge.org
pulp 2.7.0 💰
A python Linear Programming API
8 versions - Latest release: over 1 year ago - 8 dependent packages - 50 dependent repositories - 1,628 stars on GitHub
pyshacl 0.20.0
This is a pure Python module which allows for the validation of RDF graphs against Shapes Constra...
38 versions - Latest release: over 1 year ago - 2 dependent packages - 2 dependent repositories - 192 stars on GitHub
Related Keywords
python 2 formula 1 python-3 1 satisfiability-modulo-theories 1 smt 1 verification 1 mip 1 pulp 1 solver 1 owl 1 rdf 1 shacl 1 validator 1