About Anaconda Help Download Anaconda

Bindings to picosat (a SAT solver)

Type Size Name Uploaded Downloads Labels
conda 97.6 kB | win-64/pycosat-0.6.2-py36hf17546d_1.tar.bz2  4 years and 9 months ago 85 main
conda 97.7 kB | win-64/pycosat-0.6.2-py35h396ce21_1.tar.bz2  4 years and 9 months ago 50 main
conda 100.3 kB | win-64/pycosat-0.6.2-py27h96ae2ec_1.tar.bz2  4 years and 9 months ago 59 main
conda 92.6 kB | win-32/pycosat-0.6.2-py36h06ed0df_1.tar.bz2  4 years and 9 months ago 24 main
conda 93.9 kB | win-32/pycosat-0.6.2-py27h5b7a15a_1.tar.bz2  4 years and 9 months ago 26 main
conda 92.8 kB | win-32/pycosat-0.6.2-py35hc9dccd5_1.tar.bz2  4 years and 9 months ago 25 main
conda 106.5 kB | osx-64/pycosat-0.6.2-py36h1486600_0.tar.bz2  4 years and 9 months ago 28 main
conda 106.3 kB | osx-64/pycosat-0.6.2-py35h02519d1_0.tar.bz2  4 years and 9 months ago 26 main
conda 106.0 kB | osx-64/pycosat-0.6.2-py27h085d4cc_0.tar.bz2  4 years and 9 months ago 30 main
conda 104.1 kB | linux-64/pycosat-0.6.2-py36h1a0ea17_1.tar.bz2  4 years and 9 months ago 308 main
conda 103.8 kB | linux-64/pycosat-0.6.2-py35h9693557_1.tar.bz2  4 years and 9 months ago 222 main
conda 103.3 kB | linux-64/pycosat-0.6.2-py27h1cf261c_1.tar.bz2  4 years and 9 months ago 226 main
conda 111.3 kB | linux-32/pycosat-0.6.2-py36h71dd417_0.tar.bz2  4 years and 9 months ago 22 main
conda 111.4 kB | linux-32/pycosat-0.6.2-py35h194d6e3_0.tar.bz2  4 years and 9 months ago 28 main
conda 110.0 kB | linux-32/pycosat-0.6.2-py27h748140f_0.tar.bz2  4 years and 9 months ago 23 main

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy