The idea is to convert the models to logic formulas (we already have algorithms for this), feed to formulas to the OptiMathSat tool, retrieve the solution and visualize it back on the model.
In this project you are expected to implement a serverless computing framework for running applications on the edge.
Serverless computing typically allows its users to define the application in terms of functions, events and triggers. In this context, developers are not explicitly aware of the computational infrastructure details such as VMs or containers. Although, at first sight this means a more frictionless development effort, serverless computing is not without its technical challenges. One example challenge is the cold-start problem and there are others as well.
Online games where many online players share a common world are fun to play but also they present many technical challenges. Typically, the game universe with all the players on it would not computatinally fit into a single game server.