GitHub repository: DataSystemsGroupUT/ConformanceCheckingUsingTries
Primary language: Java
Description: A Trie-based approach to efficiently compute alignment approximations