4 ms·
I believe the conda package manager also has a SAT solver [1] [1] https://www.continuum.io/blog/developer/new-advances-conda-0 https://www.continuum.io/blog/de
by julienchastang 10y ago
I believe the conda package manager also has a SAT solver [1]
[1] https://www.continuum.io/blog/developer/new-advances-conda-0 https://www.continuum.io/blog/developer/new-advances-conda-0