SMS dit: Finite semigroups imposing tractable constraints