diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-21 17:15:43 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-21 18:15:56 -0500 |
commit | a8efcd91a8f7dc107355f347996fb8dd3ba7e74a (patch) | |
tree | 8277e66ee857e446dbc59efccadf415bc0517c16 /src/prop/minisat | |
parent | b712a12978ea0c1f0f57bb72e28dc1286dc8ac69 (diff) |
No diamond-breaking under quantifiers (resolves bug #550).
Diffstat (limited to 'src/prop/minisat')
0 files changed, 0 insertions, 0 deletions