To analyze an xml file or a logic program call


python run.py data/light_sporulation

The results will be stored in the "solutions/" folder
To obtain sbml files, you need to have the libsbml library for python installed.
