diff options
| author |  qadeer <unknown> | 2010-11-27 08:31:52 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-11-27 08:31:52 +0000 |
| commit | e737198c1dd35f3fa460d346bda346f2e37799a4 (patch) | |
| tree | cc9aacd45edfd19bf7c86a847d5396653d942fef /Test/inline | |
| parent | 3476c4e0ca9125236330dbb13d976110544e3e68 (diff) | |
changed the procedure Check so that the conflict clause is blocked only when more than one counterexample is needed.
Diffstat (limited to 'Test/inline')
0 files changed, 0 insertions, 0 deletions