diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 12:15:10 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 12:15:10 +0700 |
| commit | 957b9f0173d70a1b750f1ef09580065b9285761c (patch) | |
| tree | 7e84bfef437a61541ed4e2f695d0f7aeea684b57 | |
| parent | 81620f2e9254084c698c271bb50a76e28a537793 (diff) | |
| download | abc-957b9f0173d70a1b750f1ef09580065b9285761c.tar.gz abc-957b9f0173d70a1b750f1ef09580065b9285761c.tar.bz2 abc-957b9f0173d70a1b750f1ef09580065b9285761c.zip | |
Changes to enable CEX minimization.
| -rw-r--r-- | src/aig/saig/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/module.make b/src/aig/saig/module.make index 1171bd46..8fea86e8 100644 --- a/src/aig/saig/module.make +++ b/src/aig/saig/module.make @@ -5,6 +5,7 @@ SRC += src/aig/saig/saigAbs.c \ src/aig/saig/saigBmc.c \ src/aig/saig/saigBmc2.c \ src/aig/saig/saigBmc3.c \ + src/aig/saig/saigCexMin.c \ src/aig/saig/saigCone.c \ src/aig/saig/saigConstr.c \ src/aig/saig/saigConstr2.c \ |