| commit | 8246c670f997048dbdb97cf8b1639f75271a903a | |
| author | skimo <skimo> | |
| Tue, 12 Oct 2004 14:29:48 +0000 (12 14:29 +0000) | ||
| committer | skimo <skimo> | |
| Tue, 12 Oct 2004 14:29:48 +0000 (12 14:29 +0000) | ||
| tree | 5bea4e0563b24576d095475fbdb25586015d5dda | treesnapshot (tar.gz zip) |
| parent | cb1e9caa45b5bd4423e49ef8650ee1bc8c8ca1ef | commitdiff |
Test whether linear combination of existential variables
leads to a negative constraint.
Needed for mxm19_row_pmd00126
leads to a negative constraint.
Needed for mxm19_row_pmd00126
| barvinok.cc | diffblobblamehistory |