Simplesat | Anaconda.org

conda-forge / packages / simplesat 0.9.1

0

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

copied from cf-staging / simplesat

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

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