package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type
module App_encode : sig ... end
module Arith_int : sig ... end
module Arith_rat : sig ... end
module Avatar : sig ... end
module Avatar_intf : sig ... end
module Booleans : sig ... end
module EnumTypes : sig ... end
module Fool : sig ... end
module Heuristics : sig ... end
module Higher_order : sig ... end
module Ind_types : sig ... end
module Induction : sig ... end
module Induction_intf : sig ... end
module Rewriting : sig ... end
module Simplex : sig ... end

Modular and incremental implementation of the simplex.

module Superposition : sig ... end
module Superposition_intf : sig ... end