Module `Make_SAT.Memo`

Memoised interface.

val auto : Big.t -> Sparse.t -> (Iso.t * Iso.t) list
val occurs : target:Big.t -> pattern:Big.t -> Sparse.t -> bool
val occurrence : target:Big.t -> pattern:Big.t -> Sparse.t -> occ option
val occurrences : target:Big.t -> pattern:Big.t -> Sparse.t -> (Iso.t * Iso.t) list -> occ list
val occurrences_raw : target:Big.t -> pattern:Big.t -> Sparse.t -> occ list