3 ms·Yes, most decent modern SAT solvers have no trouble with the pigeonhole problem.by CJefferson 10y agoYes, most decent modern SAT solvers have no trouble with the pigeonhole problem.