Libzipperposition_calculi (p.libzipperposition.2.0.doc.libzipperposition.calculi.Libzipperposition

module App_encode : sig ... end

module Bce : sig ... end

module Bce_pe_fixpoint : sig ... end

module Bool_encode : sig ... end

module Booleans : sig ... end

module EnumTypes : sig ... end

module Eq_encode : sig ... end

module Fool : sig ... end

module Heuristics : sig ... end

module Higher_order : sig ... end

module Hlt_elim : sig ... end

module Ind_types : sig ... end

module Lazy_cnf : sig ... end

module Pred_elim : sig ... end

module Pure_literal_elim : sig ... end

module Rewriting : sig ... end

module Superposition : sig ... end

module Superposition_intf : sig ... end