package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libzipperposition_calculiSource

Sourcemodule App_encode : sig ... end
Sourcemodule Arith_int : sig ... end
Sourcemodule Arith_rat : sig ... end
Sourcemodule Avatar : sig ... end
Sourcemodule Avatar_intf : sig ... end
Sourcemodule Booleans : sig ... end
Sourcemodule EnumTypes : sig ... end
Sourcemodule Fool : sig ... end
Sourcemodule Heuristics : sig ... end
Sourcemodule Higher_order : sig ... end
Sourcemodule Ind_types : sig ... end
Sourcemodule Induction : sig ... end
Sourcemodule Induction_intf : sig ... end
Sourcemodule Rewriting : sig ... end
Sourcemodule Simplex : sig ... end

Modular and incremental implementation of the simplex.

Sourcemodule Superposition : sig ... end
Sourcemodule Superposition_intf : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct