Learning Invariants using Decision Trees
Scikit-learn: Machine Learning in Python