diff options
author | Tim King <taking@cs.nyu.edu> | 2012-06-14 20:59:14 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-06-14 20:59:14 +0000 |
commit | 66033cd2059d817cdeab5adc25f1397532a3fa78 (patch) | |
tree | 21aea6e8862c3868d5cecc449c951d64350dcca9 /src/decision | |
parent | 2211b6969c43436eb25b003bbeae7494217777c8 (diff) |
Fixing a bug related to explaining propagations with non-normalized witnesses.
Diffstat (limited to 'src/decision')
0 files changed, 0 insertions, 0 deletions