GitHub repository: Columpio/RInGen
Primary language: SMT
Description: Regular Invariant Generator and SMTLIB2 code transformer