PrototypeCommon
conda/pycosat
Python bindings to picosat (a SAT solver)
- Owner
- conda (organization)
- Stars
- Stars: 194
- Forks
- Forks: 37
- Language
- C
- License
- MIT
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by conda
All 11 repos by conda- conda/condaStars: 7,549PythonStable
- conda/conda-packStars: 575PythonAlpha
- conda/conda-lockStars: 565PythonAlpha
- conda/constructorStars: 499PythonAlpha
- conda/rattlerStars: 464RustAlpha
- conda/conda-docsStars: 409Alpha
Nearby in C
All C repos- tsoding/bfjitStars: 194CPrototype
- espressif/esp-hosted-mcuStars: 194CPrototype
- Percivalll/Copy-Fail-CVE-2026-31431-Kubernetes-PoCStars: 194CPrototype
- xorg62/wmfsStars: 194CPrototype
- pkrumins/node-pngStars: 194CPrototype
- lh3/psmcStars: 194CPrototype