Module `Dose_algo.Strongconflicts_int`

include sig ... end

val it : Dose_common__Util.Info.t
val info : ('a, unit, string, unit) Stdlib.format4 -> 'a
val nt : Dose_common__Util.Notice.t
val notice : ('a, unit, string, unit) Stdlib.format4 -> 'a
val wt : Dose_common__Util.Warning.t
val warning : ('a, unit, string, unit) Stdlib.format4 -> 'a
val dt : Dose_common__Util.Debug.t
val debug : ('a, unit, string, unit) Stdlib.format4 -> 'a
val fatal : ('a, unit, string, 'b) Stdlib.format4 -> 'a

module SG = Defaultgraphs.IntPkgGraph.G

module PkgV = Defaultgraphs.IntPkgGraph.PkgV

type cfl_type = | Explicit | Conjunctive | Other of Diagnostic.reason_int list

module CflE : sig ... end

module IG = Graph.Imperative.Matrix.Graph

module CG : sig ... end

val seedingbar : Dose_common.Util.Progress.t: progress bar

val localbar : Dose_common.Util.Progress.t
val sctimer : Dose_common.Util.Timer.t: timer

module S : sig ... end

val swap : ('a * 'a) -> 'a * 'a
val to_set : S.elt list -> S.t
val explicit : Cudf.universe -> (int * int, unit) ExtLib.Hashtbl.t
val triangle : S.elt list array -> S.t -> S.t -> S.t -> bool
val strongconflicts : Cudf.universe -> CG.t