ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
giaSatSyn.c
Go to the documentation of this file.
1
20
21#include "gia.h"
22#include "misc/util/utilTruth.h"
23#include "sat/glucose/AbcGlucose.h"
24
25ABC_NAMESPACE_IMPL_START
26
27
31
32
36
48Gia_Man_t * Gia_ManSyn( Gia_Man_t * p, int nNodes, int nOuts, int nTimeLimit, int fUseXor, int fFancy, int fVerbose )
49{
50 Gia_Man_t * pNew = NULL;
51 return pNew;
52}
53
57
58
59ABC_NAMESPACE_IMPL_END
60
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition abc_namespaces.h:54
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition abc_namespaces.h:55
p
Cube * p
Definition exorList.c:222
Gia_ManSyn
ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManSyn(Gia_Man_t *p, int nNodes, int nOuts, int nTimeLimit, int fUseXor, int fFancy, int fVerbose)
DECLARATIONS ///.
Definition giaSatSyn.c:48
Gia_Man_t
struct Gia_Man_t_ Gia_Man_t
Definition gia.h:96