smt.h 57 B

123456
  1. #ifndef SMT_H
  2. #define SMT_H 1
  3. int smt_on(void);
  4. #endif