diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-15 14:25:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-15 14:25:55 -0700 |
| commit | be769ca3e8cf7d0c8d8ffd2c1591d95d044292c6 (patch) | |
| tree | bb374d24a0d7116a81f4f0da9e61417dde90bff4 | |
| parent | 0533fc7de93284c487d848f36259a3f3e441b8df (diff) | |
| download | abc-be769ca3e8cf7d0c8d8ffd2c1591d95d044292c6.tar.gz abc-be769ca3e8cf7d0c8d8ffd2c1591d95d044292c6.tar.bz2 abc-be769ca3e8cf7d0c8d8ffd2c1591d95d044292c6.zip | |
Experiments with generating sat assignments.
| -rw-r--r-- | abclib.dsp | 4 | ||||
| -rw-r--r-- | src/base/wlc/wlc.c | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1875,6 +1875,10 @@ SOURCE=.\src\sat\bmc\bmcFx.c # End Source File # Begin Source File +SOURCE=.\src\sat\bmc\bmcGen.c +# End Source File +# Begin Source File + SOURCE=.\src\sat\bmc\bmcICheck.c # End Source File # Begin Source File diff --git a/src/base/wlc/wlc.c b/src/base/wlc/wlc.c index 08e62e6f..6f0890e2 100644 --- a/src/base/wlc/wlc.c +++ b/src/base/wlc/wlc.c @@ -163,10 +163,6 @@ void Wlc_BlastFullAdderCtrlCnf( sat_solver * pSat, int a, int ac, int b, int c, int i, v, nLits, pLits[6]; for ( i = 0; i < 12; i++ ) { - if ( i == 7 ) - { - int x = 0; - } nLits = 0; for ( v = 0; v < 6; v++ ) { |