That's really cool! I just started learning about constraint programming using Z3, and scheduling is the first area I'm looking at. Do you have any advice or resources you found useful? Much of the underlying theory goes over my head, but I'm not sure how much of it I need to be productive.