ubuntu20.04 init

hc

2024-03-25 edb30157bad0c0001c32b854271ace01d3b9a16a

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