blob: 75bda9230b24a33a36aca35f8096748647ae889c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(define (problem ferry1)
(:domain ferry)
(:requirements :strips :equality :typing)
(:objects a b - place
c1 c2 - auto)
(:init (at c1 a)
(at c2 a)
(at-ferry a)
(empty-ferry))
(:goal (and (at c1 b) (at c2 b)))
)
|