Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gripper-ex #8

Closed
wants to merge 1 commit into from
Closed

Conversation

guicho271828
Copy link
Contributor

This is a single domain contribution that simply extends gripper to multi-robot, multi-gripper, multi-rooms.
I'm not serious about the submission -- free to turn it down.

@guicho271828 guicho271828 force-pushed the gripper-ex branch 2 times, most recently from a480b52 to a8c5d2b Compare November 25, 2021 15:30
@jendrikseipp
Copy link
Collaborator

There's already a similar domain in the repo: "grippers". It would be good to have it in Python instead of C though. Can you move your Python generator into the grippers directory and adapt the output so that it works with the existing domain.pddl file?

@guicho271828
Copy link
Contributor Author

thought about it and it seems doable. thanks

@guicho271828 guicho271828 deleted the gripper-ex branch November 26, 2021 15:20
@guicho271828
Copy link
Contributor Author

merged into #7

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