tuffy.main
Classes 
Infer
Main
NonPartInfer
PartInfer