I’ve been impressed with Google’s OR-Tools CP-SAT solver which is free to use. I think I will need a good reason to us something other than a satisfiability sol

I’ve been impressed with Google’s OR-Tools CP-SAT solver which is free to use. I think I will need a good reason to us something other than a satisfiability solver on most problems. It’s a bit like the Pareto principle. You can spend a fraction of the time running a sat solver and get most of the benefit of trying to find the optimal result.