ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
m114p_types.h
Go to the documentation of this file.
1// C-language header for MiniSat 1.14p
2
3#ifndef ABC__sat__psat__m114p_types_h
4#define ABC__sat__psat__m114p_types_h
5
6
7ABC_NAMESPACE_HEADER_START
8
9typedef int M114p_Solver_t;
10
11ABC_NAMESPACE_HEADER_END
12
13#endif
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
M114p_Solver_t
ABC_NAMESPACE_HEADER_START typedef int M114p_Solver_t
Definition m114p_types.h:9