package coq

  1. Overview
  2. Docs

Module Micromega_plugin.SimplexSource

Profiling

Sourcetype profile_info = {
  1. number_of_successes : int;
  2. number_of_failures : int;
  3. success_pivots : int;
  4. failure_pivots : int;
  5. average_pivots : int;
  6. maximum_pivots : int;
}
Sourceval get_profile_info : unit -> profile_info

Simplex interface

Sourceval optimise : Vect.t -> Polynomial.cstr list -> (NumCompat.Q.t option * NumCompat.Q.t option) option
Sourceval find_point : Polynomial.cstr list -> Vect.t option
Sourceval find_unsat_certificate : Polynomial.cstr list -> Vect.t option