ocaml-logicalform
`LogicalForm` provides modules for efficient and intuitive manipulation
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.CNFLogicalForm.ClauseLogicalForm.DNFLogicalForm.ExceptionsLogicalForm.FormLogicalForm.IdBaseLogicalForm.IndexLogicalForm.LiteralLogicalForm.NNFLogicalForm.PrettyPrintLogicalForm.PropertiesLogicalForm.StdLogicalForm.TermLogicalForm.UnNF
Dependencies: ppx_sexp_conv.runtime-lib, base
ON THIS PAGE