chiark / gitweb /
routesearch: use presolver