1 // C-language header for MiniSat 1.14p
2 
3 #ifndef ABC__sat__psat__m114p_types_h
4 #define ABC__sat__psat__m114p_types_h
5 
6 
7 ABC_NAMESPACE_HEADER_START
8 
9 typedef int   M114p_Solver_t;
10 
11 ABC_NAMESPACE_HEADER_END
12 
13 #endif
14