init commit

hc

2023-02-13 e440ec23c5a540cdd3f7464e8779219be6fd3d95

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