Files
2024-06-17 20:18:01 +08:00

7 lines
57 B
C

#ifndef SMT_H
#define SMT_H 1
int smt_on(void);
#endif