News for hackers. Stuff that matters.
Re:Modern SAT solvers: fast, neat and underused (2018) by rowanG077 on Friday May 26, 2023 @05:41PM (#36089850)
Poetry, pip, nix or manually writing the bits into memory. It really doesn't matter as long as it's not the hellscape that is conda.

There are no comments on this comment yet.