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 215.2 kB | osx-64/simplesat-0.8.1-py36_0.tar.bz2  6 years and 10 months ago 369 main cf202003
conda 228.4 kB | win-64/simplesat-0.8.1-py37_0.tar.bz2  6 years and 10 months ago 945 main cf202003
conda 220.6 kB | win-64/simplesat-0.8.1-py27_0.tar.bz2  6 years and 10 months ago 895 main cf202003
conda 210.7 kB | osx-64/simplesat-0.8.1-py37_0.tar.bz2  6 years and 10 months ago 377 main cf202003
conda 227.0 kB | win-64/simplesat-0.8.1-py36_0.tar.bz2  6 years and 10 months ago 933 main cf202003
conda 225.1 kB | osx-64/simplesat-0.8.1-py27_0.tar.bz2  6 years and 10 months ago 364 main cf202003
conda 210.8 kB | linux-64/simplesat-0.8.1-py36_0.tar.bz2  6 years and 10 months ago 4257 main cf202003
conda 201.2 kB | linux-64/simplesat-0.8.1-py27_0.tar.bz2  6 years and 10 months ago 4250 main cf202003
conda 210.6 kB | linux-64/simplesat-0.8.1-py37_0.tar.bz2  6 years and 10 months ago 4226 main cf202003
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy