/smt/

• ../
• Makefile
• smt.c