| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-02-03 | Fix efficiency regression #11436 | Frédéric Besson | |
| - 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. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |