diff options
| author | Frédéric Besson | 2020-01-28 15:33:22 +0100 |
|---|---|---|
| committer | Frédéric Besson | 2020-02-03 12:10:26 +0100 |
| commit | ccff8bf591ee0b8499cdc9dc9bb2827e4d2dae69 (patch) | |
| tree | 3eb5e12788ba889afdb6c5479564c8c25cd7d5ee /kernel/genOpcodeFiles.ml | |
| parent | 54f45f5c89f003b4ed2a6e13fdda88d05ee45c83 (diff) | |
Fix efficiency regression #11436
- The cutting plane has been (sometimes) improved to generate stronger
cuts.
- There is now some support for profiling the Simplex
see documentation for Show Lia Profile.
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions