PsyKI: a platform providing general-purpose support to symbolic knowledge injection into predictors via different algorithms.