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.

1 files changed, 14 insertions, 0 deletions

diff --git a/plugins/micromega/simplex.mli b/plugins/micromega/simplex.mli
index 19bcce3590..ff672edafd 100644
--- a/plugins/micromega/simplex.mli
+++ b/plugins/micromega/simplex.mli
@@ -9,6 +9,20 @@
 (************************************************************************)
 open Polynomial
 
+(** Profiling *)
+
+type profile_info =
+  { number_of_successes : int
+  ; number_of_failures : int
+  ; success_pivots : int
+  ; failure_pivots : int
+  ; average_pivots : int
+  ; maximum_pivots : int }
+
+val get_profile_info : unit -> profile_info
+
+(** Simplex interface *)
+
 val optimise : Vect.t -> cstr list -> (Num.num option * Num.num option) option
 val find_point : cstr list -> Vect.t option
 val find_unsat_certificate : cstr list -> Vect.t option