declarative-process-models
A Python package for declarative Process Mining with Machine Learning applications