diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-27 20:15:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-27 20:15:02 -0700 |
| commit | a21f2986aa907e5cf484cd7cd467290d192bf816 (patch) | |
| tree | 8ae3fc7d1cb6316865bb4c8abc46aead9c91ba16 /src/sat/bsat | |
| parent | 08253a50eba6c2b7f0346763c923a5abff20708e (diff) | |
| download | abc-a21f2986aa907e5cf484cd7cd467290d192bf816.tar.gz abc-a21f2986aa907e5cf484cd7cd467290d192bf816.tar.bz2 abc-a21f2986aa907e5cf484cd7cd467290d192bf816.zip | |
Enabling mapping into multi-input AND/OR gates.
Diffstat (limited to 'src/sat/bsat')
0 files changed, 0 insertions, 0 deletions