News for hackers. Stuff that matters.
Re:Modern SAT solvers: fast, neat and underused (2018) by unnah on Saturday May 27, 2023 @08:09AM (#36094051)
Is Conda actually moving towards making mamba the default? Last I heard, they were distinctly uninterested in that, since mamba is implemented in C++, and they would rather rely on their own slow Python code, which they can more easily modify.
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...