diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:10:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 13:10:52 -0700 |
commit | 0a9236add5e4c4f81dfff79f0ec24fc7d69cf323 (patch) | |
tree | bfc10780aa3f30e9692e91448796074f2238d16a /src/bool/lucky/module.make | |
parent | aed3b3a13acf9113cc4ec254933efce6114519be (diff) | |
download | abc-0a9236add5e4c4f81dfff79f0ec24fc7d69cf323.tar.gz abc-0a9236add5e4c4f81dfff79f0ec24fc7d69cf323.tar.bz2 abc-0a9236add5e4c4f81dfff79f0ec24fc7d69cf323.zip |
Improvements to the NPN semi-canonical form computation package.
Diffstat (limited to 'src/bool/lucky/module.make')
-rw-r--r-- | src/bool/lucky/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bool/lucky/module.make b/src/bool/lucky/module.make index dad5ee61..a65f61df 100644 --- a/src/bool/lucky/module.make +++ b/src/bool/lucky/module.make @@ -2,5 +2,6 @@ SRC += src/bool/lucky/lucky.c \ src/bool/lucky/luckyFast16.c \ src/bool/lucky/luckyFast6.c \ src/bool/lucky/luckyRead.c \ + src/bool/lucky/luckySimple.c \ src/bool/lucky/luckySwapIJ.c \ src/bool/lucky/luckySwap.c |