Module Emc
module Emc: sig .. end
Exact Matrix Cover problem interface for ZDD and DLX
type int list
a solution is a set of rows
module type S = sig .. end
a common interface for ZDD and DLX
module D: S
DLX-based implementation
module Z: S with type t = Zdd.t
ZDD-based implementation
Misc. functions for debugging purposes
val print_boolean_matrix : Format.formatter -> bool array array -> unit
val print_boolean_array : Format.formatter -> bool array -> unit
val print_matrix_size : Format.formatter -> 'a array array -> unit