ReadGlim
Algebraic Model Counting for Global Analysis of Optimal Decision Trees — ReadGlim