diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-07 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-07 08:01:00 -0700 |
| commit | 6175fcb8026bae3db5b4280b655131322d7944da (patch) | |
| tree | 41889f98814c981dcadcc5ce0f1990b74981cd49 /src/aig/bbr/module.make | |
| parent | 436d5d2103b2cfec6a6deb5bbba72ce8e820f785 (diff) | |
| download | abc-6175fcb8026bae3db5b4280b655131322d7944da.tar.gz abc-6175fcb8026bae3db5b4280b655131322d7944da.tar.bz2 abc-6175fcb8026bae3db5b4280b655131322d7944da.zip | |
Version abc80507
Diffstat (limited to 'src/aig/bbr/module.make')
| -rw-r--r-- | src/aig/bbr/module.make | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/bbr/module.make b/src/aig/bbr/module.make new file mode 100644 index 00000000..52a824b9 --- /dev/null +++ b/src/aig/bbr/module.make @@ -0,0 +1,3 @@ +SRC += src/aig/bbr/bbrImage.c \ + src/aig/bbr/bbrNtbdd.c \ + src/aig/bdr/bbrReach.c |