diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-29 16:46:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-29 16:46:28 -0700 |
| commit | 0b01f5ec27ddddc1f20b2c4b3256a7846dc41657 (patch) | |
| tree | 060dfc036a4a62d55e5b40b8334fe3989daf455f /Makefile | |
| parent | cf91699e05606dca1f6146943e82ce04413f99a7 (diff) | |
| download | abc-0b01f5ec27ddddc1f20b2c4b3256a7846dc41657.tar.gz abc-0b01f5ec27ddddc1f20b2c4b3256a7846dc41657.tar.bz2 abc-0b01f5ec27ddddc1f20b2c4b3256a7846dc41657.zip | |
Infrastructure for using the results of exact SAT-based synthesis during mapping.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions