hc
2023-11-22 983d7f83616922a6439b4352d1b3af488ee27f95
1
2
3
4
5
6
#ifndef SMT_H
#define SMT_H 1
 
int smt_on(void);
 
#endif