Source code for the AITIA-PM algorithm. See paper entitled "Root Cause Analysis in Process Mining with Probabilistic Temporal Logic", published at the 2nd International Workshop on Event Data & ...