blame | history | raw
hc
2023-02-14 9c26bd2fb3d1b04cfe748cd7a8d8883feff5250f 
1
2
3
4
5
6

#ifndef SMT_H


#define SMT_H 1


 


int smt_on(void);


 


#endif