GitHub repository: salidotir/LimooeeEbadi
Primary language: Alloy
Description: RASD project for Software Engineering 2 Course