1 2 3 4 5 6 7 8 9
// C-language header for MiniSat 1.14p #ifndef m114p_types_h #define m114p_types_h typedef int M114p_Solver_t; typedef int lit; #endif