This post is mostly to try to get myself back in the habit of posting new blog content. I was looking over some of the examples in the OR-Tools repository, and I started playing around with the tasks and workers assignment problem. The original example can be found here: https://github.com/google/or-tools/blob/master/examples/python/tasks_and_workers_assignment_sat.py. In this post I go through the code bit by bit to understand what is going on, and then try some small changes to see what happens. I hope a newcomer to OR-Tools or CP-SAT might find this useful for starting their own exploration of the examples in the repository.

I was working through an example CP-SAT program on sports team scheduling, and I found a bit of AddBoolOr logic that I didn’t understand. So I wrote up a short program to explore what was going on.