| commit | 3ed5b9a7f3a6a11cec751ca5933b2ed60e76f59e | |
| author | skimo <skimo> | |
| Fri, 30 Jul 2004 12:46:04 +0000 (30 12:46 +0000) | ||
| committer | skimo <skimo> | |
| Fri, 30 Jul 2004 12:46:04 +0000 (30 12:46 +0000) | ||
| tree | bc8b51f9b92bdac597d1518640d05585332b379e | treesnapshot (tar.gz zip) |
| parent | f52e77db9e983987d7c5c9c49e0d5c9a8325cd8b | commitdiff |
Ensure that splitting will reduce the number of existential
variables in the negative part.
variables in the negative part.
| barvinok.cc | diffblobblamehistory |