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  7 years and 10 months ago 14 main
conda 160.3 kB | linux-armv6l/pycosat-0.6.1-py36_0.tar.bz2  7 years and 10 months ago 35 main
conda 160.2 kB | linux-armv7l/pycosat-0.6.1-py36_0.tar.bz2  7 years and 10 months ago 358 main
conda 160.3 kB | linux-armv6l/pycosat-0.6.1-py35_0.tar.bz2  7 years and 11 months ago 9 main
conda 157.4 kB | linux-armv7l/pycosat-0.6.1-py27_0.tar.bz2  7 years and 11 months ago 36 main
conda 160.4 kB | linux-armv7l/pycosat-0.6.1-py35_0.tar.bz2  7 years and 11 months ago 29 main

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