Manage | Anaconda.org

If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

conda-forge / packages / simplesat 0.9.1

0

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

copied from cf-staging / simplesat

License: BSD-3-Clause
Home: https://github.com/enthought/sat-solver
41930 total downloads
Last upload: 1 year and 3 months ago

Installers

Info: This package contains files in non-standard labels.

noarch v0.9.1
linux-64 v0.8.2
osx-64 v0.8.2
win-64 v0.8.2

conda install

To install this package run one of the following:
conda install conda-forge::simplesat
conda install conda-forge/label/cf202003::simplesat

Description

© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy