ruvnet sublinear-time-solver