News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused (2018). Parent comment

Re:Modern SAT solvers: fast, neat and underused (2018) by teruakohatu on Friday May 26, 2023 @02:29PM (#36087935)
Conda is still unbearably slow. Mamba is a vastly better mostly drop-in replacement.
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused (2018) by ubj on Friday May 26, 2023 @05:03PM (#36089477)
Second this. Not only is it faster, but the error messages in Mamba are much more helpful and sane.
[ Parent | on HN ]