News for hackers. Stuff that matters.

A comment on Autoresearch for SAT Solvers.

Re:Autoresearch for SAT Solvers by cerved on Thursday March 19, 2026 @02:22AM (#47435637)
Would me be nice to try this on lcg (CP-SAT) solvers
[ Parent | on HN ]

There are no comments on this comment yet.