A Generic Information Extraction System for String Constraints. - Joel D. Day; Adrian Kröger; Mitja Kulczynski; Florin Manea; Dirk Nowotka; Danny Bøgsted Poulsen (CoRR, 2022)