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