移去rt

hc

2023-12-08 01573e231f18eb2d99162747186f59511f56b64d

1
2
3
4
5
6
#ifndef SMT_H
#define SMT_H 1
 
int smt_on(void);
 
#endif