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 Macuyiko on Friday May 26, 2023 @03:49PM (#36088738)
Curious to hear about your preferred alternative. Poetry?
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused (2018) by fock on Friday May 26, 2023 @04:00PM (#36088857)
spack
[ Parent | on HN ]
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 ]