diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:33:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 14:33:27 -0800 |
| commit | d8e04032967a524f4891927d73b1f61e60d8953b (patch) | |
| tree | dc09b9ff312d5811c18151a712a7e49a6311e7a7 /src/sat/bmc/bmcBmc3.c | |
| parent | ddab80aea4cea4bbdcd4aa17dd1be893e50961b1 (diff) | |
| download | abc-d8e04032967a524f4891927d73b1f61e60d8953b.tar.gz abc-d8e04032967a524f4891927d73b1f61e60d8953b.tar.bz2 abc-d8e04032967a524f4891927d73b1f61e60d8953b.zip | |
Added command 'cexsave' and 'cexload'.
Diffstat (limited to 'src/sat/bmc/bmcBmc3.c')
| -rw-r--r-- | src/sat/bmc/bmcBmc3.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c index a29be146..7ca5c7ba 100644 --- a/src/sat/bmc/bmcBmc3.c +++ b/src/sat/bmc/bmcBmc3.c @@ -18,7 +18,6 @@ ***********************************************************************/ -#include "aig/saig/saig.h" #include "proof/fra/fra.h" #include "sat/cnf/cnf.h" #include "sat/bsat/satStore.h" |