Skip to content

Draft: implement better index search

Anton Akhmerov requested to merge better_dot into main

Closes #26 (closed)

Still not debugged, and I'm not sure if the added complexity is worth the better indexing.

Merge request reports