15 lines
172 B
Plaintext
15 lines
172 B
Plaintext
class: "LocationSatisfiabilityTest"
|
|
|
|
layoutName: "maze1x2"
|
|
layout: """
|
|
%%%
|
|
% %
|
|
%P%
|
|
%%%
|
|
"""
|
|
|
|
x0_y0: "(1, 1)"
|
|
action0: "North"
|
|
x1_y1: "(1, 2)"
|
|
action1: "South"
|