This repository contains multiple sample projects for the Formal Methods university course (2022). Additionally, it includes a final project focused on a Home Delivery Food System.

To use the projects in this repository, you must have Java installed on your system. Specifically, you'll need the Java Development Kit (JDK).

To get started, download the alloy4.2_2015-02-22.jar file from this repository. This file contains the Alloy Analyzer, which is necessary for running the Alloy models. You can find other versions of the Alloy Analyzer on the official Alloy website.

This project is licensed under the MIT License - see the LICENSE file for details.

© 2022 ALI BAYANI