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