smt.h 57 B

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