Zaslat SMS: Classifying the complexity of constraints using finite algebras