SMTLIBSimplifysimplify SMT problem
Calling SequenceParametersOptionsDescriptionType inference and declarationCompatibility
<Text-field style="Heading 2" layout="Heading 2" bookmark="usage">Calling Sequence</Text-field>
Simplify(expr,options)
<Text-field style="Heading 2" layout="Heading 2" bookmark="bkmrk0">Parameters</Text-field>expr-set, function, or boolean; expression to be simplifiedoptions-(optional) options as specified below
<Text-field style="Heading 2" layout="Heading 2" bookmark="bkmrk1">Options</Text-field>
logic=string
The value of option logic is a string which must correspond to one of the following logic names defined by the SMT-LIB standard: "QF_UF", "QF_LIA", "QF_NIA", "QF_LRA", "QF_NRA", "LIA", and "LRA".
For an explanation of these logics, see Formats,SMTLIB.
<Text-field style="Heading 2" layout="Heading 2" bookmark="info">Description</Text-field>
The Simplify(expr) command applies several heuristics to simplify redundant expressions in expr.
For details on the format of the input expr, see SMTLIB[ToString].
<Text-field style="Heading 2" layout="Heading 2" bookmark="compatibility">Compatibility</Text-field>
The SMTLIB[Simplify] command was introduced in Maple 2018.
For more information on Maple 2018 changes, see Updates in Maple 2018.See AlsoSMTLIB