Constraint solving meets machine learning and data mining