blame | history | raw
hc
2024-08-19 eb6b9ee90f50f13c5abb885ce483802d6262f2b5 
1
2
3
4
5
6

#ifndef SMT_H


#define SMT_H 1


 


int smt_on(void);


 


#endif