diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-13 18:50:04 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-13 18:50:04 -0800 |
| commit | d85bc1dd68afa94ad4625cfae3f59e5211253111 (patch) | |
| tree | 3b2522baf1e93c23babd9a9b6bf0e3f6853c14f2 /src/sat/glucose/AbcGlucose.cpp | |
| parent | 71d9a1671447b0235b8ed2c8090835fdcf65a93a (diff) | |
| download | abc-d85bc1dd68afa94ad4625cfae3f59e5211253111.tar.gz abc-d85bc1dd68afa94ad4625cfae3f59e5211253111.tar.bz2 abc-d85bc1dd68afa94ad4625cfae3f59e5211253111.zip | |
Changes to make GIA structural hashing use a dedicated array instead of pObj->Value.
Diffstat (limited to 'src/sat/glucose/AbcGlucose.cpp')
0 files changed, 0 insertions, 0 deletions