diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-10 23:17:08 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-10 23:17:08 -0800 |
| commit | 8e6d4d3fe95e87d65dcf70296bafa9749204daae (patch) | |
| tree | 6cf63f5c9b63a9817ea4628c138d281441ac776e /src/sat/proof | |
| parent | d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73 (diff) | |
| download | abc-8e6d4d3fe95e87d65dcf70296bafa9749204daae.tar.gz abc-8e6d4d3fe95e87d65dcf70296bafa9749204daae.tar.bz2 abc-8e6d4d3fe95e87d65dcf70296bafa9749204daae.zip | |
Removing restruction on the number of LUT inputs.
Diffstat (limited to 'src/sat/proof')
0 files changed, 0 insertions, 0 deletions