CP-SAT Primer

An extensive primer for the constraint programming solver CP-SAT under the CC-BY-4.0 license.