diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 17:24:35 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 17:37:09 -0500 |
| commit | 89ed50fd35e6425ed7f1fa4ca5ec560acee1358e (patch) | |
| tree | 5919417452041cc4ee1904e0cf77ba59e7dc9b10 /src/prop/sat_solver_factory.h | |
| parent | 0b1e8fb1f4676a950f017319d76019876a39cffc (diff) | |
Fix memory issues in bitvector theory, which is now valgrind-clean (mostly resolves bug #594).
Diffstat (limited to 'src/prop/sat_solver_factory.h')
0 files changed, 0 insertions, 0 deletions