How To: Run SModelS as a python library

Main input:

Decompose the input model:

Load the Database of experimental results:

Match the decomposed simplified models with the experimental database of constraints:

Check for simplified models in the input model which were not tested by the Database: