diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-03 18:02:32 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-03 18:02:32 -0800 |
| commit | 6e6cc08becbe68734a3b38ae4dc0b56b020d0f39 (patch) | |
| tree | 004fbc3549abd548e7f8bde18e36dbb3c9f6a1c3 /src/sat/glucose | |
| parent | ce95366e513631b1b052b55c4f8e2e83ff7e4149 (diff) | |
| download | abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.tar.gz abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.tar.bz2 abc-6e6cc08becbe68734a3b38ae4dc0b56b020d0f39.zip | |
Improving resub window computation by always including the TFI of the pivot node.
Diffstat (limited to 'src/sat/glucose')
0 files changed, 0 insertions, 0 deletions