Module FeatureVector

module FeatureVector: sig .. end

Feature Vector indexing

Feature Vector indexing (see Schulz 2004) for efficient forward and backward subsumption

type lits = Index_intf.lits

module Make (C : Index.CLAUSE) : sig .. end