synth-ai 0.2.4.dev4__py3-none-any.whl → 0.2.4.dev6__py3-none-any.whl

synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/boxoban_env.py

@@ -0,0 +1,129 @@
+from .sokoban_env import SokobanEnv
+from .render_utils import room_to_rgb
+import os
+from os import listdir
+from os.path import isfile, join
+import requests
+import zipfile
+from tqdm import tqdm
+import random
+import numpy as np
+
+
+class BoxobanEnv(SokobanEnv):
+    num_boxes = 4
+    dim_room = (10, 10)
+
+    def __init__(self, max_steps=120, difficulty="unfiltered", split="train"):
+        self.difficulty = difficulty
+        self.split = split
+        self.verbose = False
+        super(BoxobanEnv, self).__init__(self.dim_room, max_steps, self.num_boxes, None)
+
+    def reset(self):
+        self.cache_path = ".sokoban_cache"
+        self.train_data_dir = os.path.join(
+            self.cache_path, "boxoban-levels-master", self.difficulty, self.split
+        )
+
+        if not os.path.exists(self.cache_path):
+            url = "https://github.com/deepmind/boxoban-levels/archive/master.zip"
+
+            if self.verbose:
+                print("Boxoban: Pregenerated levels not downloaded.")
+                print('Starting download from "{}"'.format(url))
+
+            response = requests.get(url, stream=True)
+
+            if response.status_code != 200:
+                raise "Could not download levels from {}. If this problem occurs consistantly please report the bug under https://github.com/mpSchrader/gym-sokoban/issues. ".format(
+                    url
+                )
+
+            os.makedirs(self.cache_path)
+            path_to_zip_file = os.path.join(self.cache_path, "boxoban_levels-master.zip")
+            with open(path_to_zip_file, "wb") as handle:
+                for data in tqdm(response.iter_content()):
+                    handle.write(data)
+
+            zip_ref = zipfile.ZipFile(path_to_zip_file, "r")
+            zip_ref.extractall(self.cache_path)
+            zip_ref.close()
+
+        self.select_room()
+
+        self.num_env_steps = 0
+        self.reward_last = 0
+        self.boxes_on_target = 0
+
+        starting_observation = room_to_rgb(self.room_state, self.room_fixed)
+
+        return starting_observation
+
+    def select_room(self):
+        generated_files = [
+            f for f in listdir(self.train_data_dir) if isfile(join(self.train_data_dir, f))
+        ]
+        source_file = join(self.train_data_dir, random.choice(generated_files))
+
+        maps = []
+        current_map = []
+
+        with open(source_file, "r") as sf:
+            for line in sf.readlines():
+                if ";" in line and current_map:
+                    maps.append(current_map)
+                    current_map = []
+                if "#" == line[0]:
+                    current_map.append(line.strip())
+
+        maps.append(current_map)
+
+        selected_map = random.choice(maps)
+
+        if self.verbose:
+            print('Selected Level from File "{}"'.format(source_file))
+
+        self.room_fixed, self.room_state, self.box_mapping = self.generate_room(selected_map)
+
+    def generate_room(self, select_map):
+        room_fixed = []
+        room_state = []
+
+        targets = []
+        boxes = []
+        for row in select_map:
+            room_f = []
+            room_s = []
+
+            for e in row:
+                if e == "#":
+                    room_f.append(0)
+                    room_s.append(0)
+
+                elif e == "@":
+                    self.player_position = np.array([len(room_fixed), len(room_f)])
+                    room_f.append(1)
+                    room_s.append(5)
+
+                elif e == "$":
+                    boxes.append((len(room_fixed), len(room_f)))
+                    room_f.append(1)
+                    room_s.append(4)
+
+                elif e == ".":
+                    targets.append((len(room_fixed), len(room_f)))
+                    room_f.append(2)
+                    room_s.append(2)
+
+                else:
+                    room_f.append(1)
+                    room_s.append(1)
+
+            room_fixed.append(room_f)
+            room_state.append(room_s)
+
+        # used for replay in room generation, unused here because pre-generated levels
+        box_mapping = {}
+
+        return np.array(room_fixed), np.array(room_state), box_mapping

synth_ai/environments/examples/sokoban/engine_helpers/vendored/envs/render_utils.py

@@ -0,0 +1,370 @@
+import numpy as np
+import pkg_resources
+import imageio
+
+
+def room_to_rgb(room, room_structure=None):
+    """
+    Creates an RGB image of the room.
+    :param room:
+    :param room_structure:
+    :return:
+    """
+    resource_package = __name__
+
+    room = np.array(room)
+    if not room_structure is None:
+        # Change the ID of a player on a target
+        room[(room == 5) & (room_structure == 2)] = 6
+
+    # Load images, representing the corresponding situation
+    box_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "box.png"))
+    )
+    box = imageio.imread(box_filename)
+
+    box_on_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "box_on_target.png"))
+    )
+    box_on_target = imageio.imread(box_on_target_filename)
+
+    box_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "box_target.png"))
+    )
+    box_target = imageio.imread(box_target_filename)
+
+    floor_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "floor.png"))
+    )
+    floor = imageio.imread(floor_filename)
+
+    player_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "player.png"))
+    )
+    player = imageio.imread(player_filename)
+
+    player_on_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "player_on_target.png"))
+    )
+    player_on_target = imageio.imread(player_on_target_filename)
+
+    wall_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "wall.png"))
+    )
+    wall = imageio.imread(wall_filename)
+
+    surfaces = [wall, floor, box_target, box_on_target, box, player, player_on_target]
+
+    # Assemble the new rgb_room, with all loaded images
+    room_rgb = np.zeros(shape=(room.shape[0] * 16, room.shape[1] * 16, 3), dtype=np.uint8)
+    for i in range(room.shape[0]):
+        x_i = i * 16
+
+        for j in range(room.shape[1]):
+            y_j = j * 16
+            surfaces_id = room[i, j]
+
+            room_rgb[x_i : (x_i + 16), y_j : (y_j + 16), :] = surfaces[surfaces_id]
+
+    return room_rgb
+
+
+def room_to_tiny_world_rgb(room, room_structure=None, scale=1):
+    room = np.array(room)
+    if not room_structure is None:
+        # Change the ID of a player on a target
+        room[(room == 5) & (room_structure == 2)] = 6
+
+    wall = [0, 0, 0]
+    floor = [243, 248, 238]
+    box_target = [254, 126, 125]
+    box_on_target = [254, 95, 56]
+    box = [142, 121, 56]
+    player = [160, 212, 56]
+    player_on_target = [219, 212, 56]
+
+    surfaces = [wall, floor, box_target, box_on_target, box, player, player_on_target]
+
+    # Assemble the new rgb_room, with all loaded images
+    room_small_rgb = np.zeros(
+        shape=(room.shape[0] * scale, room.shape[1] * scale, 3), dtype=np.uint8
+    )
+    for i in range(room.shape[0]):
+        x_i = i * scale
+        for j in range(room.shape[1]):
+            y_j = j * scale
+            surfaces_id = int(room[i, j])
+            room_small_rgb[x_i : (x_i + scale), y_j : (y_j + scale), :] = np.array(
+                surfaces[surfaces_id]
+            )
+
+    return room_small_rgb
+
+
+def room_to_rgb_FT(room, box_mapping, room_structure=None):
+    """
+    Creates an RGB image of the room.
+    :param room:
+    :param room_structure:
+    :return:
+    """
+    resource_package = __name__
+
+    room = np.array(room)
+    if not room_structure is None:
+        # Change the ID of a player on a target
+        room[(room == 5) & (room_structure == 2)] = 6
+
+    # Load images, representing the corresponding situation
+    box_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "box.png"))
+    )
+    box = imageio.imread(box_filename)
+
+    box_on_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "box_on_target.png"))
+    )
+    box_on_target = imageio.imread(box_on_target_filename)
+
+    box_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "box_target.png"))
+    )
+    box_target = imageio.imread(box_target_filename)
+
+    floor_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "floor.png"))
+    )
+    floor = imageio.imread(floor_filename)
+
+    player_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "player.png"))
+    )
+    player = imageio.imread(player_filename)
+
+    player_on_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "player_on_target.png"))
+    )
+    player_on_target = imageio.imread(player_on_target_filename)
+
+    wall_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "wall.png"))
+    )
+    wall = imageio.imread(wall_filename)
+
+    surfaces = [wall, floor, box_target, box_on_target, box, player, player_on_target]
+
+    # Assemble the new rgb_room, with all loaded images
+    room_rgb = np.zeros(shape=(room.shape[0] * 16, room.shape[1] * 16, 3), dtype=np.uint8)
+    for i in range(room.shape[0]):
+        x_i = i * 16
+
+        for j in range(room.shape[1]):
+            y_j = j * 16
+
+            surfaces_id = room[i, j]
+            surface = surfaces[surfaces_id]
+            if 1 < surfaces_id < 5:
+                try:
+                    surface = get_proper_box_surface(surfaces_id, box_mapping, i, j)
+                except:
+                    pass
+            room_rgb[x_i : (x_i + 16), y_j : (y_j + 16), :] = surface
+
+    return room_rgb
+
+
+def get_proper_box_surface(surfaces_id, box_mapping, i, j):
+    # not used, kept for documentation
+    # names = ["wall", "floor", "box_target", "box_on_target", "box", "player", "player_on_target"]
+
+    box_id = 0
+    situation = ""
+
+    if surfaces_id == 2:
+        situation = "_target"
+        box_id = list(box_mapping.keys()).index((i, j))
+    elif surfaces_id == 3:
+        box_id = list(box_mapping.values()).index((i, j))
+        box_key = list(box_mapping.keys())[box_id]
+        if box_key == (i, j):
+            situation = "_on_target"
+        else:
+            situation = "_on_wrong_target"
+        pass
+    elif surfaces_id == 4:
+        box_id = list(box_mapping.values()).index((i, j))
+
+    surface_name = "box{}{}.png".format(box_id, situation)
+    resource_package = __name__
+    filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "multibox", surface_name))
+    )
+    surface = imageio.imread(filename)
+
+    return surface
+
+
+def room_to_tiny_world_rgb_FT(room, box_mapping, room_structure=None, scale=1):
+    room = np.array(room)
+    if not room_structure is None:
+        # Change the ID of a player on a target
+        room[(room == 5) & (room_structure == 2)] = 6
+
+    wall = [0, 0, 0]
+    floor = [243, 248, 238]
+    box_target = [254, 126, 125]
+    box_on_target = [254, 95, 56]
+    box = [142, 121, 56]
+    player = [160, 212, 56]
+    player_on_target = [219, 212, 56]
+
+    surfaces = [wall, floor, box_target, box_on_target, box, player, player_on_target]
+
+    # Assemble the new rgb_room, with all loaded images
+    room_small_rgb = np.zeros(
+        shape=(room.shape[0] * scale, room.shape[1] * scale, 3), dtype=np.uint8
+    )
+    for i in range(room.shape[0]):
+        x_i = i * scale
+        for j in range(room.shape[1]):
+            y_j = j * scale
+
+            surfaces_id = int(room[i, j])
+            surface = np.array(surfaces[surfaces_id])
+            if 1 < surfaces_id < 5:
+                try:
+                    surface = get_proper_tiny_box_surface(surfaces_id, box_mapping, i, j)
+                except:
+                    pass
+            room_small_rgb[x_i : (x_i + scale), y_j : (y_j + scale), :] = surface
+
+    return room_small_rgb
+
+
+def get_proper_tiny_box_surface(surfaces_id, box_mapping, i, j):
+    box_id = 0
+    situation = "box"
+
+    if surfaces_id == 2:
+        situation = "target"
+        box_id = list(box_mapping.keys()).index((i, j))
+    elif surfaces_id == 3:
+        box_id = list(box_mapping.values()).index((i, j))
+        box_key = list(box_mapping.keys())[box_id]
+        if box_key == (i, j):
+            situation = "on_target"
+        else:
+            situation = "on_wrong_target"
+        pass
+    elif surfaces_id == 4:
+        box_id = list(box_mapping.values()).index((i, j))
+
+    surface = [255, 255, 255]
+    if box_id == 0:
+        if situation == "target":
+            surface = [111, 127, 232]
+        elif situation == "on_target":
+            surface = [6, 33, 130]
+        elif situation == "on_wrong_target":
+            surface = [69, 81, 122]
+        else:
+            # Just the box
+            surface = [11, 60, 237]
+
+    elif box_id == 1:
+        if situation == "target":
+            surface = [195, 127, 232]
+        elif situation == "on_target":
+            surface = [96, 5, 145]
+        elif situation == "on_wrong_target":
+            surface = [96, 63, 114]
+        else:
+            surface = [145, 17, 214]
+
+    elif box_id == 2:
+        if situation == "target":
+            surface = [221, 113, 167]
+        elif situation == "on_target":
+            surface = [140, 5, 72]
+        elif situation == "on_wrong_target":
+            surface = [109, 60, 71]
+        else:
+            surface = [239, 0, 55]
+
+    elif box_id == 3:
+        if situation == "target":
+            surface = [247, 193, 145]
+        elif situation == "on_target":
+            surface = [132, 64, 3]
+        elif situation == "on_wrong_target":
+            surface = [94, 68, 46]
+        else:
+            surface = [239, 111, 0]
+
+    return surface
+
+
+def color_player_two(room_rgb, position, room_structure):
+    resource_package = __name__
+
+    player_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "multiplayer", "player1.png"))
+    )
+    player = imageio.imread(player_filename)
+
+    player_on_target_filename = pkg_resources.resource_filename(
+        resource_package, "/".join(("surface", "multiplayer", "player1_on_target.png"))
+    )
+    player_on_target = imageio.imread(player_on_target_filename)
+
+    x_i = position[0] * 16
+    y_j = position[1] * 16
+
+    if room_structure[position[0], position[1]] == 2:
+        room_rgb[x_i : (x_i + 16), y_j : (y_j + 16), :] = player_on_target
+
+    else:
+        room_rgb[x_i : (x_i + 16), y_j : (y_j + 16), :] = player
+
+    return room_rgb
+
+
+def color_tiny_player_two(room_rgb, position, room_structure, scale=4):
+    x_i = position[0] * scale
+    y_j = position[1] * scale
+
+    if room_structure[position[0], position[1]] == 2:
+        room_rgb[x_i : (x_i + scale), y_j : (y_j + scale), :] = [195, 127, 232]
+
+    else:
+        room_rgb[x_i : (x_i + scale), y_j : (y_j + scale), :] = [96, 5, 145]
+
+    return room_rgb
+
+
+TYPE_LOOKUP = {
+    0: "wall",
+    1: "empty space",
+    2: "box target",
+    3: "box on target",
+    4: "box not on target",
+    5: "player",
+}
+
+ACTION_LOOKUP = {
+    0: "push up",
+    1: "push down",
+    2: "push left",
+    3: "push right",
+    4: "move up",
+    5: "move down",
+    6: "move left",
+    7: "move right",
+}
+
+# Moves are mapped to coordinate changes as follows
+# 0: Move up
+# 1: Move down
+# 2: Move left
+# 3: Move right
+CHANGE_COORDINATES = {0: (-1, 0), 1: (1, 0), 2: (0, -1), 3: (0, 1)}