Stav dette: Finite semigroups imposing tractable constraints