Module type Emc.S

module type S = sig .. end

a common interface for ZDD and DLX

type t

val create : ?primary:int -> bool array array -> t

construct the algorithm corresponding structure doubly linked matrix for dlx and a zdd for zdd

val find_solution : t -> Emc.solution

raises Not_found if the problem has no solution

val iter_solution : (Emc.solution -> unit) -> t -> unit

Emc.iter_solution f p applies f in turn to each problem p solutions

val count_solutions : t -> int

Return the number of solutions to this problem

module type ARITH = sig .. end

simple arithmetic module with big integers

module Count: functor (A : ARITH) -> sig .. end

Functor usage of arithmetics