GitHub repository: Almazis/RInGen
Description: Regular Invariant Generator and SMTLIB2 code transformer