search

u-t-autonomous / sydar

Synthesis Done Approximately Right
Other
2 stars 1 forks source link

Change input file format from miu to syd? #12

Closed sahabi closed 7 years ago

sahabi commented 7 years ago

@ipapusha what do you think?

ipapusha commented 7 years ago

Yeah, let's do that. It's a better name.