Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : normal-form
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:pypi/normal-form
Keywords: cnf, typed, logic, python3, sat-solver, sat, clause
License: CNRI-Python-GPL-Compatible
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 76 last month
Stars: 2 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago