diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-10-26 18:54:10 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-10-26 18:54:10 +0300 |
| commit | f9309ce949cbfc432af1ee543fab15fe1ac99d2e (patch) | |
| tree | d2dde6c21967f2f142d30b62f71c7955a21d232f /src/sat | |
| parent | feb3e7943de06c7c5ba16c53a23df00aa3c46cd0 (diff) | |
| download | abc-f9309ce949cbfc432af1ee543fab15fe1ac99d2e.tar.gz abc-f9309ce949cbfc432af1ee543fab15fe1ac99d2e.tar.bz2 abc-f9309ce949cbfc432af1ee543fab15fe1ac99d2e.zip | |
Adding a new feature to decompose special 6-input cuts.
Diffstat (limited to 'src/sat')
0 files changed, 0 insertions, 0 deletions