About Anaconda Help Download Anaconda

SAT solver for use in Enstaller, based on the MiniSat implementation

copied from cf-staging / simplesat
Type Size Name Uploaded Downloads Labels
conda 133.2 kB | noarch/simplesat-0.9.1-pyhd8ed1ab_0.conda  3 months and 3 days ago 238 main
conda 143.7 kB | noarch/simplesat-0.8.2-pyh9f0ad1d_2.tar.bz2  4 years and 2 months ago 2500 main
conda 226.2 kB | win-64/simplesat-0.8.2-py38_0.tar.bz2  5 years and 1 month ago 663 main cf202003
conda 226.4 kB | osx-64/simplesat-0.8.2-py38_0.tar.bz2  5 years and 1 month ago 329 main cf202003
conda 216.8 kB | linux-64/simplesat-0.8.2-py38_0.tar.bz2  5 years and 1 month ago 2778 main cf202003
conda 225.1 kB | win-64/simplesat-0.8.2-py37_0.tar.bz2  5 years and 2 months ago 703 main cf202003
conda 220.9 kB | win-64/simplesat-0.8.2-py27_0.tar.bz2  5 years and 2 months ago 692 main cf202003
conda 218.8 kB | win-64/simplesat-0.8.2-py36_0.tar.bz2  5 years and 2 months ago 684 main cf202003
conda 214.3 kB | osx-64/simplesat-0.8.2-py36_0.tar.bz2  5 years and 2 months ago 339 main cf202003
conda 225.4 kB | osx-64/simplesat-0.8.2-py27_0.tar.bz2  5 years and 2 months ago 333 main cf202003
conda 210.2 kB | osx-64/simplesat-0.8.2-py37_0.tar.bz2  5 years and 2 months ago 343 main cf202003
conda 226.8 kB | linux-64/simplesat-0.8.2-py36_0.tar.bz2  5 years and 2 months ago 2751 main cf202003
conda 225.1 kB | linux-64/simplesat-0.8.2-py27_0.tar.bz2  5 years and 2 months ago 2722 main cf202003
conda 210.4 kB | linux-64/simplesat-0.8.2-py37_0.tar.bz2  5 years and 2 months ago 2787 main cf202003
conda 215.2 kB | osx-64/simplesat-0.8.1-py36_0.tar.bz2  5 years and 7 months ago 345 main cf202003
conda 228.4 kB | win-64/simplesat-0.8.1-py37_0.tar.bz2  5 years and 7 months ago 903 main cf202003
conda 220.6 kB | win-64/simplesat-0.8.1-py27_0.tar.bz2  5 years and 7 months ago 855 main cf202003
conda 210.7 kB | osx-64/simplesat-0.8.1-py37_0.tar.bz2  5 years and 7 months ago 351 main cf202003
conda 227.0 kB | win-64/simplesat-0.8.1-py36_0.tar.bz2  5 years and 7 months ago 894 main cf202003
conda 225.1 kB | osx-64/simplesat-0.8.1-py27_0.tar.bz2  5 years and 7 months ago 340 main cf202003
conda 210.8 kB | linux-64/simplesat-0.8.1-py36_0.tar.bz2  5 years and 7 months ago 3188 main cf202003
conda 201.2 kB | linux-64/simplesat-0.8.1-py27_0.tar.bz2  5 years and 7 months ago 3151 main cf202003
conda 210.6 kB | linux-64/simplesat-0.8.1-py37_0.tar.bz2  5 years and 7 months ago 3181 main cf202003

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