Formats Associated with boolean expressions
Description
List of Formats
This page contains a list of supported file formats associated with expressions of type boolean.
For each of these formats, either command-based import tools will produce output of this type, or command-based export tools will accept input of this type.
For an overview of support for file formats in Maple and a list of supported formats grouped into categories, see Formats.
CNF
m
MLA
SMTLIB
See Also
Formats
Download Help Document