A Constraint Solver for Equations over Sequences and Contexts. - Mariam Beriashvili; Besik Dundua (ICCSAMA, 2016)