https://github.com/stacs-cp/CP2022-Plotting
Raw File
Tip revision: 6eb4e1e9d9613427be8b3cb1a0d8c248862bb5f1 authored by CatOsMandros on 03 May 2022, 11:24:40 UTC
clean temporary files
Tip revision: 6eb4e1e
Plotting_3x3_2colours_19314seed_2goal.pddl
(define (problem Plotting_3x3_2colours_19314seed_2goal.pddl)
(:domain plotting)
(:objects
n1 - number
n2 - number
n3 - number
c1 - colour
c2 - colour
)
(:init
(coloured n1 n1 c1)
(coloured n1 n2 c2)
(coloured n1 n3 c1)
(coloured n2 n1 c2)
(coloured n2 n2 c2)
(coloured n2 n3 c1)
(coloured n3 n1 c2)
(coloured n3 n2 c1)
(coloured n3 n3 c2)
(hand wildcard)
(succ n2 n1)
(succ n3 n2)
(pred n1 n2)
(pred n2 n3)
(lt n1 n2)
(lt n1 n3)
(lt n2 n3)
(gt n3 n2)
(gt n3 n1)
(gt n2 n1)
(isfirstcolumn n1)
(islastcolumn n3)
(istoprow n1)
(isbottomrow n3)
(distance n1 n2 n1)
(distance n2 n1 n1)
)
(:goal
(exists (?x1 ?y1 - number)
(and
(forall (?x2 ?y2 - number) (or
    (and (= ?x1 ?x2) (= ?y1 ?y2))
(coloured ?x2 ?y2 null)))))
)
)
back to top