// C-language header for MiniSat 1.14p

#ifndef m114p_types_h
#define m114p_types_h

typedef int   M114p_Solver_t;
typedef int   lit;

#endif