Skip to content

Conversation

@lmProgramming
Copy link
Owner

No description provided.

@lmProgramming lmProgramming requested a review from Copilot May 14, 2025 21:18
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Adds PDDL domain and problem definitions for lab exercises 1–3 and a LaTeX-focused .gitignore under lab03.

  • Introduces lab03/3 task 3 domain and problem files.
  • Includes lab03/2 and lab03/1 directories (labs 2 and 1) under the same lab03 folder.
  • Adds a generic LaTeX .gitignore in lab03/.

Reviewed Changes

Copilot reviewed 13 out of 13 changed files in this pull request and generated no comments.

Show a summary per file
File Description
lab03/3/problem.pddl Defines the move-balls problem with 2 arms, 4 balls, and 2 rooms.
lab03/3/domain.pddl Specifies robot, room, ball, arm types and pick‐up/put‐down actions.
lab03/2/problem.pddl Sets up the cleaning-robot problem for three rooms.
lab03/2/domain.pddl Defines cleaning-robot world, move and cleaning actions.
lab03/1/problem.pddl Describes a multi-modal package transport problem with costs and metrics.
lab03/1/domain.pddl Defines package-transport domain with durative actions and conditional effects.
lab03/.gitignore Adds patterns to ignore LaTeX build artifacts.
Comments suppressed due to low confidence (2)

lab03/2/domain.pddl:28

  • [nitpick] The action name uses an underscore but other actions use hyphens; rename clean_current_room to clean-current-room for consistency.
(:action clean_current_room 

lab03/1/domain.pddl:1

  • [nitpick] Lab 1 and Lab 2 directories are nested under lab03, which may cause confusion; consider moving them to lab01/ and lab02/ respectively for clearer project structure.
(define (domain package-transport-step6)

@lmProgramming lmProgramming merged commit 40c6e61 into main May 14, 2025
1 check passed
@lmProgramming lmProgramming deleted the lab03 branch May 14, 2025 21:19
lmProgramming added a commit that referenced this pull request Oct 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants