src/sat/psat/m114p_types.h


1
2
3
4
5
6
7
8
9
10
11
12
13

// C-language header for MiniSat 1.14p

#ifndef m114p_types_h
#define m114p_types_h


ABC_NAMESPACE_HEADER_START

typedef int   M114p_Solver_t;

ABC_NAMESPACE_HEADER_END

#endif