declarative-process-models
Python library to perform discovery, conformance checking and query checking of DECLARE constraints.