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.
[ Parent
| on HN ]
There are no comments on this comment yet.