About Anaconda Help Download Anaconda

Bindings to picosat (a SAT solver)

Type Size Name Uploaded Downloads Labels
conda 157.3 kB | linux-armv6l/pycosat-0.6.1-py27_0.tar.bz2  8 years and 9 months ago 16 main
conda 160.3 kB | linux-armv6l/pycosat-0.6.1-py36_0.tar.bz2  8 years and 9 months ago 38 main
conda 160.2 kB | linux-armv7l/pycosat-0.6.1-py36_0.tar.bz2  8 years and 9 months ago 370 main
conda 160.3 kB | linux-armv6l/pycosat-0.6.1-py35_0.tar.bz2  8 years and 10 months ago 13 main
conda 157.4 kB | linux-armv7l/pycosat-0.6.1-py27_0.tar.bz2  8 years and 10 months ago 47 main
conda 160.4 kB | linux-armv7l/pycosat-0.6.1-py35_0.tar.bz2  8 years and 10 months ago 41 main

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