module Sat: sig .. end
sig
end
type t
val create : primary:int -> bool array array -> t
primary:int -> bool array array -> t
val create_sparse : primary:int -> int list array -> t
primary:int -> int list array -> t
val print : Format.formatter -> t -> unit
Format.formatter -> t -> unit
val print_in_file : string -> t -> unit
string -> t -> unit