SAT solvers are something I would like to use more, but I feel like I simply never come across real world problems that they work well with. I've tried to use them for program/circuit synthesis, but the problem was intractable at any scale larger than a tiny proof-of-concept example.
Does anyone have good suggestions for what to use SAT solvers for?
Does anyone have good suggestions for what to use SAT solvers for?