GitHub repository: DavidSheridan/Model-Checker
Primary language: Java
Description: Streader's Raiders SWEN302 Group Project