diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 21:42:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 21:42:00 -0700 |
| commit | 2d6a6f66547345e1f67923363c4f63125a07e242 (patch) | |
| tree | c0c9b1505da6864bc697970ca3cb0c16cacd4b84 /src/base/exor/module.make | |
| parent | 2d1d315eceecf580011eb8f499d020eb60da1597 (diff) | |
| download | abc-2d6a6f66547345e1f67923363c4f63125a07e242.tar.gz abc-2d6a6f66547345e1f67923363c4f63125a07e242.tar.bz2 abc-2d6a6f66547345e1f67923363c4f63125a07e242.zip | |
Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG (cubes -x; st).
Diffstat (limited to 'src/base/exor/module.make')
| -rw-r--r-- | src/base/exor/module.make | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/exor/module.make b/src/base/exor/module.make new file mode 100644 index 00000000..842f9328 --- /dev/null +++ b/src/base/exor/module.make @@ -0,0 +1,6 @@ +SRC += src/base/exor/exor.c \ + src/base/exor/exorBits.c \ + src/base/exor/exorCubes.c \ + src/base/exor/exorLink.c \ + src/base/exor/exorList.c \ + src/base/exor/exorUtil.c |