gimme-indexes An implementation of the paper Automatic Index Selection for Large-Scale Datalog Computation, VLDB 2019.