Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "nnf" keyword
Top 9.2% on pypi.org
10 versions - Latest release: over 1 year ago - 3 dependent packages - 10 dependent repositories - 212 downloads last month - 16 stars on GitHub - 2 maintainers
nnf 0.4.1
Manipulate NNF (Negation Normal Form) logical sentences10 versions - Latest release: over 1 year ago - 3 dependent packages - 10 dependent repositories - 212 downloads last month - 16 stars on GitHub - 2 maintainers
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