About Anaconda Help Download Anaconda
Sign In
Anaconda.com

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 143.7 kB | noarch/simplesat-0.8.2-pyh9f0ad1d_2.tar.bz2  5 years and 5 months ago 3291 main
conda 226.2 kB | win-64/simplesat-0.8.2-py38_0.tar.bz2  6 years and 5 months ago 703 main cf202003
conda 226.4 kB | osx-64/simplesat-0.8.2-py38_0.tar.bz2  6 years and 5 months ago 354 main cf202003
conda 216.8 kB | linux-64/simplesat-0.8.2-py38_0.tar.bz2  6 years and 5 months ago 3813 main cf202003
conda 225.1 kB | win-64/simplesat-0.8.2-py37_0.tar.bz2  6 years and 5 months ago 742 main cf202003
conda 220.9 kB | win-64/simplesat-0.8.2-py27_0.tar.bz2  6 years and 5 months ago 731 main cf202003
conda 218.8 kB | win-64/simplesat-0.8.2-py36_0.tar.bz2  6 years and 5 months ago 728 main cf202003
conda 214.3 kB | osx-64/simplesat-0.8.2-py36_0.tar.bz2  6 years and 5 months ago 363 main cf202003
conda 225.4 kB | osx-64/simplesat-0.8.2-py27_0.tar.bz2  6 years and 5 months ago 358 main cf202003
conda 210.2 kB | osx-64/simplesat-0.8.2-py37_0.tar.bz2  6 years and 5 months ago 367 main cf202003
conda 226.8 kB | linux-64/simplesat-0.8.2-py36_0.tar.bz2  6 years and 5 months ago 3833 main cf202003
conda 225.1 kB | linux-64/simplesat-0.8.2-py27_0.tar.bz2  6 years and 5 months ago 3962 main cf202003
conda 210.4 kB | linux-64/simplesat-0.8.2-py37_0.tar.bz2  6 years and 5 months ago 3827 main cf202003
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy