Text this: Automatic constraint satisfaction problem