fabionardelli / sat-decision-trees Goto Github PK
View Code? Open in Web Editor NEWImplementation of Narodytska et al.'s "Learning Optimal Decision Trees with SAT" using Python with Google OR Tools, Microsoft Z3 and Yces 2
License: GNU General Public License v3.0