Yes
Chat-GPT was a big help working out the details of some of the constraints and objectives
flats on Hacker News
In the thread “A practical introduction to constraint programming using CP-SAT and Python”, replying to this comment
Helped: Working out details of constraints and objectives.
They're already very good at it—I myself have been using OR-Tools's CP-SAT solver for a large bin packing problem at work (via https://github.com/ankane/or-tools-ruby ) & Chat-GPT was a big help working out the details of some of the constraints and objectives.