This project has moved. For the latest updates, please go here.

Minimization

Dec 23, 2013 at 5:14 PM
Edited Dec 23, 2013 at 5:14 PM
Hi, Christoph,

I see that you have started working on minimization. Is there anything I can help to speed up the implementation?

Candy
Coordinator
Jan 5, 2014 at 11:40 AM
Hi Candy

Recent work and contributions around minimization are discussed in this thread over at GitHub.
It would be great to have your input there as well - and help to unify the existing and add what's missing.

Thanks,
Christoph