Why is CP-SAT Slower? Comparing Performance of CP-SAT and Original Solver for N-Queens Problem in Python with OR-Tools
I am currently working on solving the N-Queens problem in Python (version 3.12) using OR-Tools. Specifically, I’m experimenting with both the CP-SAT solver and the original solver provided by OR-Tools.