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

New exact synthesis command 'allexact'.

This commit is contained in:
Alan Mishchenko 2017-12-28 23:05:36 -08:00
parent 7d7ce3ecd0
commit 75d334a0df
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/bmc/bmcMaj3.c
View File

@ -948,10 +948,12 @@ static void Zyx_ManPrintSolution( Zyx_Man_t * p, int fCompl )
printf( "(" ); printf( "(" );
for ( k = 0; k < i; k++ ) for ( k = 0; k < i; k++ )
if ( bmcg_sat_solver_read_cex_varvalue(p->pSat, Zyx_TopoVar(p, i, k)) ) if ( bmcg_sat_solver_read_cex_varvalue(p->pSat, Zyx_TopoVar(p, i, k)) )
{
if ( k >= 0 && k < p->pPars->nVars ) if ( k >= 0 && k < p->pPars->nVars )
printf( " %c", 'a'+k ); printf( " %c", 'a'+k );
else else
printf( " %02d", k ); printf( " %02d", k );
}
printf( " )\n" ); printf( " )\n" );
} }
} }