Group 7 - Afonso Ribeiro 86752 - Baltasar Dinis 89416

Our soulution was develop in python with the use of the pysat library. (requirments in requirements.txt file)

How to run: alc-project1-G7 $ src/solver.py < [inputfile]

Solution description: We have a relaxation varible per task, and only encoded the fragments and their start time