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 1 month ago 59042 main gcc7 cf202003
conda 104.2 kB | linux-64/pycosat-0.6.3-py37h14c3975_1001.tar.bz2  6 years and 1 month ago 178078 main gcc7 cf202003
conda 104.4 kB | linux-64/pycosat-0.6.3-py36h14c3975_1001.tar.bz2  6 years and 1 month ago 150618 main gcc7 cf202003
conda 104.5 kB | linux-64/pycosat-0.6.3-py35h14c3975_1001.tar.bz2  6 years and 1 month ago 61129 main gcc7 cf202003
conda 106.6 kB | osx-64/pycosat-0.6.3-py37h1de35cc_1001.tar.bz2  6 years and 1 month ago 95356 main gcc7 cf202003
conda 106.7 kB | osx-64/pycosat-0.6.3-py36h1de35cc_1001.tar.bz2  6 years and 1 month ago 20721 main gcc7 cf202003
conda 106.6 kB | osx-64/pycosat-0.6.3-py35h1de35cc_1001.tar.bz2  6 years and 1 month ago 1939 main gcc7 cf202003
conda 105.9 kB | osx-64/pycosat-0.6.3-py27h1de35cc_1001.tar.bz2  6 years and 1 month ago 5827 main gcc7 cf202003
© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy