GitHub repository: yonadavGit/inferrer_smt
Description: An automata learning library written in Python.