主要观点：作者喜欢玩密室逃脱，本周末计划和朋友一起玩，但遇到无法分配朋友到不同房间的难题，LLM 尝试无果后，作者让其生成约束求解程序并调整约束，最终找到解决方案。还介绍了密室逃脱地点及相关评价应用 Morty，详细阐述了各种约束条件，如玩家人数、房间主题、时间槽、到达和离开时间等，使用 Google 的 OR-Tools 包编写代码实现约束求解，得出可行的密室逃脱安排，并总结得到利用 LLM 生成约束求解程序来解决生活中的后勤任务是一个不错的方法。

关键信息：

• 2025 年 5 月 16 日，计划和朋友玩密室逃脱，遇到分配问题。
• 密室逃脱地点为 New Jersey 的 PuzzleConnect，在 Morty 上评价高。
• 有 8 个玩家，3 个主题房间，7 个时间槽后增加，不同时间到达和离开，每人至少玩一个房间等约束。
• 约束求解程序可表达约束并探索可能状态找到有效解，如使用 OR-Tools 包。
• 给出具体的代码实现各种约束条件及软约束，最终求解并输出结果。

重要细节：

• 介绍了 Morty 应用及在不同地区的类似应用，说明其在选择密室逃脱房间时的作用。
• 详细说明了代码中各个部分的功能，如转换时间格式的函数、各种约束条件的代码实现等。
• 提到 ChatGPT 可运行生成的 Python 代码，但 OR-Tools 暂不可导入，可使用uv run --with ortools...优化生活后勤。