diff options
Diffstat (limited to 'src/sat/bsat/satTrace.c')
-rw-r--r-- | src/sat/bsat/satTrace.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/sat/bsat/satTrace.c b/src/sat/bsat/satTrace.c index 08cfadf6..ae701ce9 100644 --- a/src/sat/bsat/satTrace.c +++ b/src/sat/bsat/satTrace.c @@ -20,6 +20,9 @@ #include "satSolver.h" +ABC_NAMESPACE_IMPL_START + + /* The trace of SAT solving contains the original clause of the problem along with the learned clauses derived during SAT solving. @@ -105,3 +108,5 @@ void Sat_SolverTraceWrite( sat_solver * pSat, int * pBeg, int * pEnd, int fRoot //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |