GitHub repository: shack/synth
Primary language: Python
Created: 2023-03-11T16:20:14Z
Description: Synthesis of loop-free programs