SGML: A Python library for solution-guided machine learning. - Ruijin Wang; Yuchen Du; Chunchun Dai; Yang Deng; Jiantao Leng; Tienchong Chang (Softw. Impacts, 2025)