Constraint Solving and Language Processing | lit.salon