/src/smt/
../
Makefile.am
smt_engine.h