Generic indicator names#930

Merged

Opt-Mucca merged 4 commits intomasterfrom

generic-indicator-names

Dec 3, 2024

Commits on Nov 30, 2024

Better default name for indicator cons
Joao-Dionisio
committed

Commits on Dec 2, 2024

Remove forgotten function call
Joao-Dionisio
committed

Commits on Dec 3, 2024