pip install pycosat==0.6.3
bindings to picosat (a SAT solver)
SourceAmong top 2% packages on PyPI.
Over 124.0K downloads in the last 90 days.
pycosat
Based on how often these packages appear together in public
requirements.txt
files on GitHub.
|
OS-agnostic, system-level binary package manager. |
|
|
Data migration utilities |
|
|
Blaze |
|
|
Fast NumPy array functions written in C |
|
|
C implementation of Python 3 functools.lru_cache |
|
|
The Scientific Python Development Environment |
|
|
Multiple dispatch |
|
|
Anaconda Cloud command line client library |
|
|
Make Excel fly: Interact with Excel from Python and vice versa. |
|
|
Command line client Library for windwos and posix |
|
|
Control AppleScriptable applications from Python. |
|
|
a heap with decrease-key and increase-key operations |
|
|
lightweight wrapper around basic LLVM functionality |
|
|
Simple on-disk dictionary |
|
|
Cython implementation of Toolz: High performance functional utilities |
|
|
Python exposure of DyND |
|
|
tools for building conda packages |
|
|
Next generation slides from Jupyter Notebooks |
|
|
Appendable key-value storage |
pycosatProportion of downloaded versions in the last 3 months (only versions over 1%).
|
0.6.3 |
98.11% |
|
0.6.1 |
1.89% |