luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added comment how to print binary clauses in procedure Sat_SolverWriteDimacs().

This commit is contained in:
Alan Mishchenko 2015-10-16 19:54:28 -07:00
parent 17cbe3567e
commit 8093611068
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/sat/bsat/satUtil.c
View File

@ -61,7 +61,10 @@ void Sat_SolverClauseWriteDimacs( FILE * pFile, clause * pC, int fIncrement )
Synopsis [Write the clauses in the solver into a file in DIMACS format.]
Description []
Description [This procedure by default does not print binary clauses. To enable
printing of binary clauses, please set fUseBinaryClauses to 0 in the body of
procedure sat_solver_clause_new(sat_solver* s, lit* begin, lit* end, int learnt)
in file "satSolver.c".]
SideEffects []