Stav dette: Classifying the complexity of constraints using finite algebras