Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
anaconda.org : pycosat
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.
Registry
-
Source
- JSON
purl: pkg:conda/pycosat
License: MIT
Latest release: 8 months ago
First release: over 6 years ago
Dependent packages: 2
Dependent repositories: 293
Stars: 164 on GitHub
Forks: 40 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago