About Anaconda Help Download Anaconda

Bindings to picosat (a SAT solver)

copied from cf-staging / pycosat
Type Size Name Uploaded Downloads Labels
conda 46.5 kB | win-64/pycosat-0.6.1-py36_0.tar.bz2  8 years and 7 months ago 4084 main cf202003 cf201901
conda 41.5 kB | win-32/pycosat-0.6.1-py36_0.tar.bz2  8 years and 7 months ago 1167 main cf202003 cf201901
conda 57.9 kB | osx-64/pycosat-0.6.1-py36_0.tar.bz2  8 years and 7 months ago 2456 main cf202003 cf201901
conda 162.5 kB | linux-64/pycosat-0.6.1-py36_0.tar.bz2  8 years and 7 months ago 21549 main cf202003 cf201901
conda 44.7 kB | win-64/pycosat-0.6.1-py35_0.tar.bz2  9 years and 2 months ago 9000 main cf202003 cf201901
conda 39.8 kB | win-32/pycosat-0.6.1-py35_0.tar.bz2  9 years and 2 months ago 3289 main cf202003 cf201901
conda 49.2 kB | win-64/pycosat-0.6.1-py34_0.tar.bz2  9 years and 2 months ago 2453 main cf202003 cf201901
conda 58.1 kB | osx-64/pycosat-0.6.1-py35_0.tar.bz2  9 years and 2 months ago 5656 main cf202003 cf201901
conda 42.8 kB | win-32/pycosat-0.6.1-py34_0.tar.bz2  9 years and 2 months ago 1189 main cf202003 cf201901
conda 47.4 kB | win-64/pycosat-0.6.1-py27_0.tar.bz2  9 years and 2 months ago 4273 main cf202003 cf201901
conda 40.6 kB | win-32/pycosat-0.6.1-py27_0.tar.bz2  9 years and 2 months ago 1454 main cf202003 cf201901
conda 161.3 kB | linux-64/pycosat-0.6.1-py35_0.tar.bz2  9 years and 2 months ago 57560 main cf202003 cf201901
conda 161.1 kB | linux-64/pycosat-0.6.1-py34_0.tar.bz2  9 years and 2 months ago 18812 main cf202003 cf201901
conda 158.6 kB | linux-64/pycosat-0.6.1-py27_0.tar.bz2  9 years and 2 months ago 22056 main cf202003 cf201901
conda 57.6 kB | osx-64/pycosat-0.6.1-py27_0.tar.bz2  9 years and 2 months ago 3193 main cf202003 cf201901
conda 58.1 kB | osx-64/pycosat-0.6.1-py34_0.tar.bz2  9 years and 2 months ago 1409 main cf202003 cf201901

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.0) Legal | Privacy Policy