I don't see anyone very excited about r-tree these days; have you
noticed that no one has stepped up to repair the known semantic errors?
I wouldn't spend any time on it in the prover.

That sort of thing is always self-fulfilling. If rtrees were fast, logged and rad, then more people would use them :)


---------------------------(end of broadcast)---------------------------
TIP 6: Have you searched our list archives?


Reply via email to