GitHub repository: u-t-autonomous/sydar
Primary language: TeX
Created: 2017-04-04T18:11:54Z
Description: Synthesis Done Approximately Right