Re:Modern SAT solvers: fast, neat and underused
by zeroonetwothree on Sunday September 29, 2019 @09:36AM
(#21106945)
I used one to do the seating arrangement at my wedding. Doing it well manually is nearly impossible if you have a lot of constraints.
[ Parent
| on HN ]
There are no comments on this comment yet.