News for hackers. Stuff that matters.

A comment on Chasing a Bug in a SAT Solver.

Re:Chasing a Bug in a SAT Solver by alvincodes on Friday June 21, 2024 @07:47AM (#40748561)
I thought this was about SAT physics (used in games, etc)
[ Parent | on HN ]

There are no comments on this comment yet.