diff options
author | Bruno Schmitt <bruno@oschmitt.com> | 2016-05-11 19:41:31 -0300 |
---|---|---|
committer | Bruno Schmitt <bruno@oschmitt.com> | 2016-05-11 19:41:31 -0300 |
commit | 3cf495c83197f838580a6efd25e9d5a68e871fa6 (patch) | |
tree | 5e0dfd49da6764d829f9e43a0f6dbc746bb92007 /Makefile | |
parent | 8745fa8163d94ffd90590cc052eb39bd5a866bff (diff) | |
download | abc-3cf495c83197f838580a6efd25e9d5a68e871fa6.tar.gz abc-3cf495c83197f838580a6efd25e9d5a68e871fa6.tar.bz2 abc-3cf495c83197f838580a6efd25e9d5a68e871fa6.zip |
Add a new module which implements the fast extract with cube hashing (fxch) algorithm.
Removes old partial implementation of this algorithm from the "pla" module.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ MODULES := \ src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/nm \ src/misc/vec src/misc/hash src/misc/tim src/misc/bzlib src/misc/zlib \ src/misc/mem src/misc/bar src/misc/bbl src/misc/parse \ - src/opt/cut src/opt/fxu src/opt/rwr src/opt/mfs src/opt/sim \ + src/opt/cut src/opt/fxu src/opt/fxch src/opt/rwr src/opt/mfs src/opt/sim \ src/opt/ret src/opt/fret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \ src/opt/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/sfm \ src/sat/bsat src/sat/csat src/sat/msat src/sat/psat src/sat/cnf src/sat/bmc \ |