News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.