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 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 ]

There are no comments on this comment yet.