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 103.5 kB | linux-64/pycosat-0.6.3-py27h14c3975_1001.tar.bz2  6 years and 4 months ago 59284 main gcc7 cf202003
conda 104.2 kB | linux-64/pycosat-0.6.3-py37h14c3975_1001.tar.bz2  6 years and 4 months ago 178313 main gcc7 cf202003
conda 104.4 kB | linux-64/pycosat-0.6.3-py36h14c3975_1001.tar.bz2  6 years and 4 months ago 150868 main gcc7 cf202003
conda 104.5 kB | linux-64/pycosat-0.6.3-py35h14c3975_1001.tar.bz2  6 years and 4 months ago 62571 main gcc7 cf202003
conda 106.6 kB | osx-64/pycosat-0.6.3-py37h1de35cc_1001.tar.bz2  6 years and 4 months ago 95357 main gcc7 cf202003
conda 106.7 kB | osx-64/pycosat-0.6.3-py36h1de35cc_1001.tar.bz2  6 years and 4 months ago 20722 main gcc7 cf202003
conda 106.6 kB | osx-64/pycosat-0.6.3-py35h1de35cc_1001.tar.bz2  6 years and 4 months ago 1943 main gcc7 cf202003
conda 105.9 kB | osx-64/pycosat-0.6.3-py27h1de35cc_1001.tar.bz2  6 years and 4 months ago 5828 main gcc7 cf202003
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.7) Legal | Privacy Policy