Imandrakit.StatsStatistics output.
This provides a set of statistics that can be created after a solver is done, to print them all. Solvers can keep internal counters and add them to Stats.t when asked to.
val to_serpack :
Imandrakit_ser_pack.Ser.state ->
t ->
Imandrakit_ser_pack.valueval of_serpack :
Imandrakit_ser_pack.Deser.state ->
Imandrakit_ser_pack.value ->
tval pp : Imandrakit_common.Fmt.t -> t -> unitval create : unit -> tval add : t -> Imandrakit_common.Str_map.key -> int -> unit