A VSA-based string transformation program synthesizer based on Duet. Find more details on the GitHub page
