ocaml-logicalform
`LogicalForm` provides modules for efficient and intuitive manipulation
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package ocaml-logicalform
-
ocaml-logicalform
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Libraries
This package provides the following libraries (via dune):
ocaml-logicalform
Documentation:
LogicalForm.CNF
LogicalForm.Clause
LogicalForm.DNF
LogicalForm.Exceptions
LogicalForm.Form
LogicalForm.IdBase
LogicalForm.Index
LogicalForm.Literal
LogicalForm.NNF
LogicalForm.PrettyPrint
LogicalForm.Properties
LogicalForm.Std
LogicalForm.Term
LogicalForm.UnNF
Dependencies: ppx_sexp_conv.runtime-lib, base
ON THIS PAGE