RunAgent: Constraint 기반 실행으로 자연어 Plan을 해석하는 Multi-Agent 실행 플랫폼

# RunAgent Constraint Generation 프롬프트 사용 예시 (논문 Appendix 그대로)
import openai

def generate_constraints(task: str, instance: str) -> str:
    messages = [
        {
            "role": "system",
            "content": """You are an expert at extracting constraints that MUST NOT be violated when solving a task instance.
You will be given:
- A task description
- A specific instance of the task
Your job:
- Output a comprehensive list of constraints that should not be violated while solving the instance.
- Include all explicit hard requirements from the task/instance.
- Include any implicit but necessary constraints/assumptions needed to correctly interpret the instance.
- Do not include any solution, schedule, or plan, ONLY constraints.
Critical constraint quality requirements:
- Make constraints ATOMIC: each numbered item must contain exactly ONE requirement.
- If a requirement contains "and", "or", multiple clauses, or multiple checks, split it into multiple numbered constraints.
- Avoid compound / multi-part constraints.
- Avoid solver goals and optimization goals. Only hard validity/legality constraints.
Output format: Output ONLY a numbered list of constraints as plain text."""
        },
        {
            "role": "user",
            "content": f"Task: {task}\nInstance: {instance}"
        }
    ]
    response = openai.chat.completions.create(
        model="gpt-4o",
        messages=messages
    )
    return response.choices[0].message.content

# 사용 예시
task = "Schedule a meeting for all participants within work hours 9:00-17:00"
instance = "Schedule 1-hour meeting for Alice and Bob on Monday. Alice: busy 10:00-11:00. Bob: busy 14:00-15:30."
constraints = generate_constraints(task, instance)
print(constraints)
# 출력 예:
# 1. The meeting must be scheduled between 09:00 and 17:00.
# 2. The meeting duration must be exactly 1 hour.
# 3. Alice must not have any other meeting during the scheduled time.
# 4. Bob must not have any other meeting during the scheduled time.
# 5. The meeting must be scheduled on Monday.