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/issues/issue-11.pddl

16 lines
290 B
Plaintext
Raw Permalink Normal View History

; tests that “imply” statements in preconditions are correctly reduced
(define (domain test-normalization)
(:predicates
(test-predicate-0))
)
(define (problem test-normalization)
(:domain test-normalization)
(:init
(test-predicate-0))
(:goal
(test-predicate-0)
(error)))