About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

conda-forge / packages / simplesat

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

copied from cf-staging / simplesat

Filters
Type Size Name Uploaded Downloads Labels
conda 226.2 kB | win-64/simplesat-0.8.2-py38_0.tar.bz2  5 years and 5 months ago 669 main cf202003
conda 226.4 kB | osx-64/simplesat-0.8.2-py38_0.tar.bz2  5 years and 5 months ago 330 main cf202003
conda 216.8 kB | linux-64/simplesat-0.8.2-py38_0.tar.bz2  5 years and 5 months ago 3071 main cf202003
conda 225.1 kB | win-64/simplesat-0.8.2-py37_0.tar.bz2  5 years and 5 months ago 709 main cf202003
conda 220.9 kB | win-64/simplesat-0.8.2-py27_0.tar.bz2  5 years and 5 months ago 698 main cf202003
conda 218.8 kB | win-64/simplesat-0.8.2-py36_0.tar.bz2  5 years and 5 months ago 690 main cf202003
conda 214.3 kB | osx-64/simplesat-0.8.2-py36_0.tar.bz2  5 years and 5 months ago 340 main cf202003
conda 225.4 kB | osx-64/simplesat-0.8.2-py27_0.tar.bz2  5 years and 5 months ago 334 main cf202003
conda 210.2 kB | osx-64/simplesat-0.8.2-py37_0.tar.bz2  5 years and 5 months ago 344 main cf202003
conda 226.8 kB | linux-64/simplesat-0.8.2-py36_0.tar.bz2  5 years and 5 months ago 3036 main cf202003
conda 225.1 kB | linux-64/simplesat-0.8.2-py27_0.tar.bz2  5 years and 5 months ago 3025 main cf202003
conda 210.4 kB | linux-64/simplesat-0.8.2-py37_0.tar.bz2  5 years and 5 months ago 3069 main cf202003
conda 215.2 kB | osx-64/simplesat-0.8.1-py36_0.tar.bz2  5 years and 10 months ago 346 main cf202003
conda 228.4 kB | win-64/simplesat-0.8.1-py37_0.tar.bz2  5 years and 10 months ago 909 main cf202003
conda 220.6 kB | win-64/simplesat-0.8.1-py27_0.tar.bz2  5 years and 10 months ago 861 main cf202003
conda 210.7 kB | osx-64/simplesat-0.8.1-py37_0.tar.bz2  5 years and 10 months ago 352 main cf202003
conda 227.0 kB | win-64/simplesat-0.8.1-py36_0.tar.bz2  5 years and 10 months ago 900 main cf202003
conda 225.1 kB | osx-64/simplesat-0.8.1-py27_0.tar.bz2  5 years and 10 months ago 341 main cf202003
conda 210.8 kB | linux-64/simplesat-0.8.1-py36_0.tar.bz2  5 years and 10 months ago 3477 main cf202003
conda 201.2 kB | linux-64/simplesat-0.8.1-py27_0.tar.bz2  5 years and 10 months ago 3449 main cf202003
conda 210.6 kB | linux-64/simplesat-0.8.1-py37_0.tar.bz2  5 years and 10 months ago 3461 main cf202003
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy