Eu tenho uma grande coleção de expressões regulares que, quando combinadas, chamam um manipulador http específico. Alguns dos antigos regex's são inacessíveis (por ex.a.c* ⊃ abc*) e eu gostaria de poda-los.

Existe uma biblioteca que deu dois regex's me dirá se o segundo é subconjunto do primeiro?

Eu não tinha certeza se isso era decidível no início (cheirava como o problema da parada por um nome diferente). Mas aconteceé decidível.