About Anaconda Help Download Anaconda

Bindings to picosat (a SAT solver)

copied from cf-staging / pycosat
Type Size Name Uploaded Downloads Labels
conda 82.7 kB | win-64/pycosat-0.6.2-py36_0.tar.bz2  8 years and 3 hours ago 4960 main cf202003 cf201901
conda 77.6 kB | win-32/pycosat-0.6.2-py36_0.tar.bz2  8 years and 3 hours ago 788 main cf202003 cf201901
conda 82.8 kB | win-64/pycosat-0.6.2-py35_0.tar.bz2  8 years and 3 hours ago 3223 main cf202003 cf201901
conda 77.7 kB | win-32/pycosat-0.6.2-py35_0.tar.bz2  8 years and 3 hours ago 837 main cf202003 cf201901
conda 85.5 kB | win-64/pycosat-0.6.2-py27_0.tar.bz2  8 years and 3 hours ago 2744 main cf202003 cf201901
conda 78.7 kB | win-32/pycosat-0.6.2-py27_0.tar.bz2  8 years and 3 hours ago 875 main cf202003 cf201901
conda 95.9 kB | osx-64/pycosat-0.6.2-py36_0.tar.bz2  8 years and 5 hours ago 2336 main cf202003 cf201901
conda 95.4 kB | osx-64/pycosat-0.6.2-py27_0.tar.bz2  8 years and 5 hours ago 1793 main cf202003 cf201901
conda 96.0 kB | osx-64/pycosat-0.6.2-py35_0.tar.bz2  8 years and 6 hours ago 3083 main cf202003 cf201901
conda 200.7 kB | linux-64/pycosat-0.6.2-py36_0.tar.bz2  8 years and 6 hours ago 16357 main cf202003 cf201901
conda 200.6 kB | linux-64/pycosat-0.6.2-py35_0.tar.bz2  8 years and 6 hours ago 20452 main cf202003 cf201901
conda 199.3 kB | linux-64/pycosat-0.6.2-py27_0.tar.bz2  8 years and 6 hours ago 8202 main cf202003 cf201901

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