Skip to content

Commit

Permalink
added authors
Browse files Browse the repository at this point in the history
  • Loading branch information
ctpelok77 committed Jun 7, 2024
1 parent 2c51b64 commit 93b7b56
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 0 deletions.
2 changes: 2 additions & 0 deletions goldminer/domain.pddl
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
;; Gold Miner domain
;; Created by Alan Fern


(define (domain gold-miner-typed)
(:requirements :typing)
Expand Down
2 changes: 2 additions & 0 deletions visitall/domain.pddl
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
;; Created by Nir Lipovetzky

(define (domain grid-visit-all)
(:requirements :typing)
(:types place - object)
Expand Down

0 comments on commit 93b7b56

Please sign in to comment.