FMI-compliant model identification package
Single-pattern and multiple-pattern string searching algorithms in Python