diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2016-05-19 22:10:30 -0300 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2016-05-19 22:10:30 -0300 |
| commit | f93fbc230389f0842d77eec639e225ba57589821 (patch) | |
| tree | 3935211f6cb503fbab4a64121073f244bf7d30d6 /src/sat | |
| parent | 4ffbd0b2dff9d6a3ccc1d4f009220996b3c6814a (diff) | |
| download | abc-f93fbc230389f0842d77eec639e225ba57589821.tar.gz abc-f93fbc230389f0842d77eec639e225ba57589821.tar.bz2 abc-f93fbc230389f0842d77eec639e225ba57589821.zip | |
Fix the problem of not identifying divisors when its originating cubes had only 2 literals.
With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table.
Diffstat (limited to 'src/sat')
0 files changed, 0 insertions, 0 deletions