logaut
packaging
mlxtend>=0.20.0
pm4py>=2.5.1
clingo>=5.6.2
boolean.py
pandas>=1.3.4
ltlf2dfa==1.0.2
