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 froh on Saturday May 27, 2023 @12:00AM (#36091974)
libsolv is underneath suse and some more Linux distributions. I think conda at some point switched there, too.
[ Parent | on HN ]

There are no comments on this comment yet.