Re:Modern SAT solvers: fast, neat and underused (2018)
by notatallshaw on Tuesday May 30, 2023 @09:15AM
(#36124488)
Yes they are, it's been integrated and stable in conda since last year, you can turn it on with a solver config set: https://www.anaconda.com/blog/a-faster-conda-for-a-growing-c...
[ Parent
| on HN ]
There are no comments on this comment yet.