forked from p7px8vou9/AI_learning
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
3.1 KiB
8 lines
3.1 KiB
# This is the solution file for test_cases/q1/1-small-board.test.
|
|
|
|
solutionString: """
|
|
Variables: obs(4,2), obs(12,3), obs(2,2), obs(10,2), obs(12,7), obs(10,4), obs(2,4), foodHouse, obs(2,7), ghostHouse, obs(10,6), obs(4,8), obs(3,4), obs(4,6), obs(4,4), obs(4,3), obs(11,8), obs(10,8), obs(12,2), obs(10,3), obs(3,8), obs(12,6), obs(2,3), obs(10,7), obs(12,4), xPos, obs(2,6), obs(2,8), yPos, obs(12,8), obs(4,7), obs(11,4)
|
|
Edges: foodHouse -> obs(4,2), ghostHouse -> obs(4,2), foodHouse -> obs(12,3), ghostHouse -> obs(12,3), foodHouse -> obs(2,2), ghostHouse -> obs(2,2), foodHouse -> obs(10,2), ghostHouse -> obs(10,2), foodHouse -> obs(12,7), ghostHouse -> obs(12,7), foodHouse -> obs(10,4), ghostHouse -> obs(10,4), foodHouse -> obs(2,4), ghostHouse -> obs(2,4), xPos -> foodHouse, yPos -> foodHouse, foodHouse -> obs(2,7), ghostHouse -> obs(2,7), xPos -> ghostHouse, yPos -> ghostHouse, foodHouse -> obs(10,6), ghostHouse -> obs(10,6), foodHouse -> obs(4,8), ghostHouse -> obs(4,8), foodHouse -> obs(3,4), ghostHouse -> obs(3,4), foodHouse -> obs(4,6), ghostHouse -> obs(4,6), foodHouse -> obs(4,4), ghostHouse -> obs(4,4), foodHouse -> obs(4,3), ghostHouse -> obs(4,3), foodHouse -> obs(11,8), ghostHouse -> obs(11,8), foodHouse -> obs(10,8), ghostHouse -> obs(10,8), foodHouse -> obs(12,2), ghostHouse -> obs(12,2), foodHouse -> obs(10,3), ghostHouse -> obs(10,3), foodHouse -> obs(3,8), ghostHouse -> obs(3,8), foodHouse -> obs(12,6), ghostHouse -> obs(12,6), foodHouse -> obs(2,3), ghostHouse -> obs(2,3), foodHouse -> obs(10,7), ghostHouse -> obs(10,7), foodHouse -> obs(12,4), ghostHouse -> obs(12,4), foodHouse -> obs(2,6), ghostHouse -> obs(2,6), foodHouse -> obs(2,8), ghostHouse -> obs(2,8), foodHouse -> obs(12,8), ghostHouse -> obs(12,8), foodHouse -> obs(4,7), ghostHouse -> obs(4,7), foodHouse -> obs(11,4), ghostHouse -> obs(11,4)
|
|
{'obs(4,2)': ['blue', 'red', 'none'], 'obs(12,3)': ['blue', 'red', 'none'], 'obs(2,2)': ['blue', 'red', 'none'], 'obs(10,2)': ['blue', 'red', 'none'], 'obs(12,7)': ['blue', 'red', 'none'], 'obs(10,4)': ['blue', 'red', 'none'], 'obs(10,6)': ['blue', 'red', 'none'], 'foodHouse': ['topLeft', 'topRight', 'bottomLeft', 'bottomRight'], 'obs(2,7)': ['blue', 'red', 'none'], 'ghostHouse': ['topLeft', 'topRight', 'bottomLeft', 'bottomRight'], 'obs(2,4)': ['blue', 'red', 'none'], 'obs(10,8)': ['blue', 'red', 'none'], 'obs(3,4)': ['blue', 'red', 'none'], 'obs(4,6)': ['blue', 'red', 'none'], 'obs(4,4)': ['blue', 'red', 'none'], 'obs(4,3)': ['blue', 'red', 'none'], 'obs(11,8)': ['blue', 'red', 'none'], 'obs(12,2)': ['blue', 'red', 'none'], 'obs(10,3)': ['blue', 'red', 'none'], 'obs(3,8)': ['blue', 'red', 'none'], 'obs(12,6)': ['blue', 'red', 'none'], 'obs(2,3)': ['blue', 'red', 'none'], 'obs(10,7)': ['blue', 'red', 'none'], 'obs(12,4)': ['blue', 'red', 'none'], 'obs(4,8)': ['blue', 'red', 'none'], 'xPos': ['foodLeft', 'ghostLeft'], 'obs(2,6)': ['blue', 'red', 'none'], 'obs(2,8)': ['blue', 'red', 'none'], 'yPos': ['bothTop', 'bothBottom', 'leftTop', 'leftBottom'], 'obs(12,8)': ['blue', 'red', 'none'], 'obs(4,7)': ['blue', 'red', 'none'], 'obs(11,4)': ['blue', 'red', 'none']}
|
|
"""
|