GitHub repository: C-Logic-C/EpistemicModelChecker
Primary language: Java
Description: Developing