Design notes, solver internals and release write-ups land here. Watch the repository in the meantime.