blob: 770cd417025a56f3d64a3b934856b2c467e94a8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// C-language header for MiniSat 1.14p
#ifndef ABC__sat__psat__m114p_types_h
#define ABC__sat__psat__m114p_types_h
ABC_NAMESPACE_HEADER_START
typedef int M114p_Solver_t;
ABC_NAMESPACE_HEADER_END
#endif
|