post_processor.py

from email.mime import image
from enum import Enum
from PIL import Image 
import os
from os.path import exists
from minizinc import Instance, Model, Solver

model_path = os.path.abspath("./carcasonne.mzn")

# Load carcasonne model from file
carcasonne = Model(model_path)
# Find the MiniZinc solver configuration for Gecode
gecode = Solver.lookup("gecode")
# Create an Instance of the carcasonne model for Gecode
instance = Instance(gecode, carcasonne)
# Assign dzn
instance.add_file("./dzn/084-12-7.dzn", False)
result = instance.solve()
# Output the array to maptiles. TileRotation is our decision variable name. Change it if needed.
mapTiles = (result["TileRotation"])


class TileType(Enum):
    T = "T"
    F = "F"
    P = "P"
    R = "R"

    def __str__(self):
        return self.value
    def __add__(self, x):
        return self.value + x.value



# find corresponding png and compute rotation at runtime
def tileToImage(tileType: list):
    fileName = ""
    for type in tileType:
        fileName += type
    fileName1 = fileName[1:]+fileName[:1]
    fileName2 = fileName[2:]+fileName[:2]
    fileName3 = fileName[3:]+fileName[:3]
    #print(fileName, fileName1, fileName2, fileName3)
    if(exists("./TileImages/"+fileName+".png")):
        img = Image.open("./TileImages/" + fileName + ".png")
        return img
    elif(exists("./TileImages/"+fileName1+".png")):
        img = Image.open("./TileImages/" + fileName1 + ".png")
        img = img.rotate(270)
        return img
    elif(exists("./TileImages/"+fileName2+".png")):
        img = Image.open("./TileImages/" + fileName2 + ".png")
        img = img.rotate(180)
        return img
    elif(exists("./TileImages/"+fileName3+".png")):
        img = Image.open("./TileImages/" + fileName3 + ".png")
        img = img.rotate(90)
        return img
    else:
        return Image.open("./TileImages/FFFF.png")
    


# We got this function from Ivan's answer at StackOverflow (https://stackoverflow.com/a/65583584)
def image_grid(imgs, rows, cols):
    assert len(imgs) == rows*cols

    w, h = imgs[0].size
    grid = Image.new('RGB', size=(cols*w, rows*h))
    grid_w, grid_h = grid.size
    
    for i, img in enumerate(imgs):
        grid.paste(img, box=(i%cols*w, i//cols*h))
    return grid

if __name__ == "__main__":
    images = list(map(tileToImage, mapTiles))
    grid = image_grid(images, 7, 12)
    grid.show()
    grid = grid.save("output_1.png", "PNG")