diff options
| author | Matthieu Sozeau | 2014-04-14 17:20:22 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:59:00 +0200 |
| commit | da88175778d6055d1ecf40c8f429cf855a4304cb (patch) | |
| tree | 174c3039927f12b3404d9a5215bc91512200e634 /plugins | |
| parent | 3869ffab2021b076054280f5eb4226ecda8caf75 (diff) | |
Avoid u+k <= v constraints, don't take the sup of an algebraic universe during
minimization.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions