diff options
| author | BESSON Frederic | 2020-10-19 19:46:32 +0200 |
|---|---|---|
| committer | BESSON Frederic | 2020-11-18 09:49:22 +0100 |
| commit | d18fadb8d8120c61d2fc71c840f6e55f71c808d7 (patch) | |
| tree | e0201eb69476b8e3f47f9b3a837f56f438c4f293 /kernel/vmlambda.mli | |
| parent | 8aa451b1e31889ef2beffbbd4764190ca61939a6 (diff) | |
[micromega] More pre-procesing
- Remove obviously redundant constraints
- Perform (partial) Fourier elimination to detect (easy) cutting-planes
Closes #13227
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions