Krupke, D., Lan, L., Perk, M., & and others. The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver [Computer software]. https://github.com/d-krupke/cpsat-primer