3 ms·
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 re
by dcardoza 7y ago
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.