diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-18 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-12-18 08:01:00 -0800 |
commit | 14c01eaccab87d14d1bd0eaa3fc491026349665e (patch) | |
tree | bfe2f18a426b347cdb4d0216f5e71fd744b8a9f8 /src/aig/fra/module.make | |
parent | 126637ddd3c237d9c83f3a7f2b1f3f2722337411 (diff) | |
download | abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.tar.gz abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.tar.bz2 abc-14c01eaccab87d14d1bd0eaa3fc491026349665e.zip |
Version abc71218
Diffstat (limited to 'src/aig/fra/module.make')
-rw-r--r-- | src/aig/fra/module.make | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/fra/module.make b/src/aig/fra/module.make index e7264fdc..ffaca75c 100644 --- a/src/aig/fra/module.make +++ b/src/aig/fra/module.make @@ -1,12 +1,15 @@ SRC += src/aig/fra/fraBmc.c \ src/aig/fra/fraCec.c \ src/aig/fra/fraClass.c \ + src/aig/fra/fraClau.c \ + src/aig/fra/fraClaus.c \ src/aig/fra/fraCnf.c \ src/aig/fra/fraCore.c \ src/aig/fra/fraImp.c \ src/aig/fra/fraInd.c \ src/aig/fra/fraLcr.c \ src/aig/fra/fraMan.c \ + src/aig/fra/fraPart.c \ src/aig/fra/fraSat.c \ src/aig/fra/fraSec.c \ src/aig/fra/fraSim.c |