Add a new option to choose tree model at runtime.
[tatoo.git] / src / compact_tree.mli
2017-04-12 Kim NguyễnAdd a compact tree model.