News for hackers. Stuff that matters.

A comment on The Silent (R)evolution of SAT. Parent comment

Re:The Silent (R)evolution of SAT by xavxav on Friday May 26, 2023 @10:21AM (#36084528)
Indeed, but CreuSAT is actually a high-performance implementation (ie: worst of the best), I should probably just write up a Rust gist of CDCL.
[ Parent | on HN ]

There are no comments on this comment yet.