Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "propositional-logic-encodings" keyword
bauhaus 1.1.4
Build logical theories for SAT solvers on the fly6 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 120 downloads last month - 6 stars on GitHub - 2 maintainers
Related Keywords