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 lifebeyondfife on Saturday May 27, 2023 @07:03AM (#36093705)
Plug for my Constraint Solver if anyone wants a simple example https://github.com/lifebeyondfife/Decider
[ Parent | on HN ]

There are no comments on this comment yet.