src/sat/psat/m114p_types.h


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