LEGOS:

This is the public repository for the tool LEGOS, a satisfiability checker for FOL*

Prerequisite:

1. Python 3.5 and later

2. Install prerequisite python package via: pip3 install -r requirements.txt (this might take a while)

Structure

1. Analyzer contains the implementation of the FOL* satisfiability checking algorithm  
2. Sleec contains the implemenation of the normative requirement analyzer SLEEC-LEGOS.
3. Tutorial contains the materials for the tutorials, demos and the labs:
    a. Tutorial1: material for lab1 and Sleec based tutorials and demos
    b. Tutorial2: material for lab2 and FOL* based tutorials and demos