DeclareAligner

The fastest algorithm to date for computing optimal alignments of DECLARE process models.