This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/tests/data/test-cases/typing-1.pddl

12 lines
121 B
Plaintext
Raw Permalink Normal View History

(define
(domain test)
(:requirements :typing)
(:types
object
a1 a2 a3 - object
bx - a1
bx - a2
bx - a3
)
)