search

CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

refine Redmine example #69

Closed izgzhen closed 6 years ago

izgzhen commented 6 years ago

this would take 6 - 8 minutes to synthesize on a 6-core machine.