Modern SAT solvers: fast, neat and underused
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?