Add Rabin & Streett indices

1 job for master in 2 minutes and 7 seconds
Status Job ID Name Coverage
  Build
passed #100352
compile

00:02:07