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

Experiments with generating sat assignments.

This commit is contained in:
Alan Mishchenko 2016-05-15 14:25:55 -07:00
parent 0533fc7de9
commit be769ca3e8
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
abclib.dsp
View File

@ -1875,6 +1875,10 @@ SOURCE=.\src\sat\bmc\bmcFx.c
# End Source File # End Source File
# Begin Source File # Begin Source File
SOURCE=.\src\sat\bmc\bmcGen.c
# End Source File
# Begin Source File
SOURCE=.\src\sat\bmc\bmcICheck.c SOURCE=.\src\sat\bmc\bmcICheck.c
# End Source File # End Source File
# Begin Source File # Begin Source File

4
src/base/wlc/wlc.c
View File

@ -163,10 +163,6 @@ void Wlc_BlastFullAdderCtrlCnf( sat_solver * pSat, int a, int ac, int b, int c,
int i, v, nLits, pLits[6]; int i, v, nLits, pLits[6];
for ( i = 0; i < 12; i++ ) for ( i = 0; i < 12; i++ )
{ {
if ( i == 7 )
{
int x = 0;
}
nLits = 0; nLits = 0;
for ( v = 0; v < 6; v++ ) for ( v = 0; v < 6; v++ )
{ {