Module Emc

module Emc: sig .. end

Exact Matrix Cover problem interface for ZDD and DLX

type solution = 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