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