diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-11 06:15:32 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-11 06:15:32 +0000 |
| commit | c7ccddcad95d7b6534a83a873c522b115530a553 (patch) | |
| tree | b62e3239620d0650d6e9d28af8746fbf47f4b19d /test | |
| parent | a7f004fad9947f3a953dbd6d14838f1e04f105eb (diff) | |
Boolean variables were marked as theory literals by mistake. Fixed, should give us back the SAT performance we had before the theory stuff.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions