GitHub repository: vhavlena/Noodler
Primary language: SMT
Description: Solving String equations using automata