About Anaconda Help Download Anaconda

Bindings to picosat (a SAT solver)

copied from conda-forge / pycosat
Type Size Name Uploaded Downloads Labels
conda 84.2 kB | win-64/pycosat-0.6.3-py36_0.tar.bz2  6 years and 11 months ago 10 main external
conda 79.1 kB | win-32/pycosat-0.6.3-py36_0.tar.bz2  6 years and 11 months ago 0 main external
conda 83.5 kB | win-64/pycosat-0.6.3-py35_0.tar.bz2  6 years and 11 months ago 11 main external
conda 78.3 kB | win-32/pycosat-0.6.3-py35_0.tar.bz2  6 years and 11 months ago 0 main external
conda 87.0 kB | win-64/pycosat-0.6.3-py27_0.tar.bz2  6 years and 11 months ago 13 main external
conda 80.4 kB | win-32/pycosat-0.6.3-py27_0.tar.bz2  6 years and 11 months ago 12 main external
conda 200.8 kB | linux-64/pycosat-0.6.3-py36_0.tar.bz2  6 years and 11 months ago 2 main external
conda 199.6 kB | linux-64/pycosat-0.6.3-py27_0.tar.bz2  6 years and 11 months ago 1 main external
conda 200.8 kB | linux-64/pycosat-0.6.3-py35_0.tar.bz2  6 years and 11 months ago 1 main external

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