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 /src/sat/bmc/bmcBmc.c | |
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 'src/sat/bmc/bmcBmc.c')
0 files changed, 0 insertions, 0 deletions