Text this: Constraint solving y su aplicación práctica a problemas con restricciones