This repository contains the project of Lukas, Wopke and Jeroen for the course Logical Aspects of Multi-Agent Systems. Below you can find a link to the github-pages page with report as well as a demo.
You can run the code locally by downloading the repository and running the docker-compose up
command while in the root directory of the project. You can also find an up-to-date version of the project on corresponding Github pages.
The report can be found here