Manual do CP-SAT: Usando e entendendo o solucionador CP-SAT do Google OR-Tools (Dominik Krupke na Divisão de Algoritmos…
OR-Tools: Manual do CP-SAT
