| commit | 6f8de1d748c03285035a36d80d2dcdeeec54f02f | |
| author | skimo <skimo> | |
| Wed, 21 Apr 2004 21:16:02 +0000 (21 21:16 +0000) | ||
| committer | skimo <skimo> | |
| Wed, 21 Apr 2004 21:16:02 +0000 (21 21:16 +0000) | ||
| tree | 9db79c01cad4b40f7702d50be589ec6f745680c6 | treesnapshot (tar.gz zip) |
| parent | 9d4c8e3316bfa270bd7fff0001ed02b3883c84d9 | commitdiff |
Convert multiple existential variables in an equality into a single one
and a single existential variable in an equality to a real variable.
and a single existential variable in an equality to a real variable.
| barvinok.cc | diffblobblamehistory |