Hello, I've prepared a presentation for Cambridge DevSummit. Probably the slides of the presentation might be of interest for those who wants to know more about the new solver architecture. Slides and the raw LaTeX source are available via github: https://github.com/vstakhov/pkgng-presentation -- Vsevolod Stakhov