Files
smt-optimizer/SMO