About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

conda-forge / packages / pycosat

Bindings to picosat (a SAT solver)

copied from cf-staging / pycosat

Filters
Type Size Name Uploaded Downloads Labels
conda 161.3 kB | linux-64/pycosat-0.6.1-py35_0.tar.bz2  8 years and 10 months ago 56815 main cf202003 cf201901
conda 161.1 kB | linux-64/pycosat-0.6.1-py34_0.tar.bz2  8 years and 10 months ago 18014 main cf202003 cf201901
conda 158.6 kB | linux-64/pycosat-0.6.1-py27_0.tar.bz2  8 years and 10 months ago 21346 main cf202003 cf201901
conda 57.6 kB | osx-64/pycosat-0.6.1-py27_0.tar.bz2  8 years and 10 months ago 2793 main cf202003 cf201901
conda 58.1 kB | osx-64/pycosat-0.6.1-py34_0.tar.bz2  8 years and 10 months ago 955 main cf202003 cf201901
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy