GitHub repository: lsickert/epistemic-cluedo
Primary language: Python
Created: 2022-06-05T14:07:11Z
Description: The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022