The SMTLIB package provides support for converting Maple expressions to input in the SMT-LIB language format.

SMT-LIB is an interface language frequently used by programs designed to solve SMT (Satisfiability Modulo Theories) problems.

The SMTLIB[ToString] command converts a Maple expression into SMT-LIB input which can then be fed as input into an SMT solver program. By default, the generated SMT-LIB script performs a simple satisfiability query.

Example 1: Generate an SMT-LIB script testing whether a logical formula has a satisfying assignment (that is, an assignment of values making the formula true).

$\mathrm{expr} ≔ \mathrm{Import}\left(''example/3sat.cnf''\,\mathrm{base}\=\mathrm{datadir}\,\mathrm{variables}\=\left[\mathrm{V1}\,\mathrm{V2}\,\mathrm{V3}\right]\right)$

$\mathrm{with}\left(\mathrm{SMTLIB}\right)$

$\mathrm{ToString}\left( \mathrm{expr} \right)$

If an explicit satisfying assignment is desired, we can optionally generate a script requesting the SMT solver to produce one (here, a set of values for $\mathrm{V1}$, $\mathrm{V2}$, $\mathrm{V3}$ for which the formula is true).

$\mathrm{ToString}\left( \mathrm{expr}\, \mathrm{getvalue}\=\left[\mathrm{V1}\,\mathrm{V2}\,\mathrm{V3}\right]\right)$

In addition to Boolean-valued variables, SMT-LIB variables may also be numeric. The generated SMT-LIB requests a nontrivial solution in positive integers to the equation $w^3\+x^3\=y^3\+z^3$. (When such a solution exists, the integer $w^3\+x^3$ is known as a taxicab number, the smallest of which is 1729.)

$\mathrm{ToString}\left( \left\{w^3\+x^3\=y^3\+z^3\, w\>0\,x\>0\,y\>0\,z\>0\,w\ne y\,w\ne z\right\}\,\mathrm{getvalue}\=\left[w\,x\,y\,z\right]\right)$

The existing URL package has been extended with three new commands: URL[Delete], URL[Head], and URL[Put]. These correspond directly to the HTTP (Hypertext Transfer Protocol) commands DELETE, HEAD, and PUT, respectively.

The inclusion of Delete, Head, and Put in the URL package, along with the existing URL[Get] and URL[Post], enables Maple code to make use of REST (REpresentational State Transfer) web interfaces. These interfaces offer access and manipulation of online resources by use of a uniform set of stateless operations based on HTTP.

Example: The Head command issues an HTTP HEAD request. This requests a response from the server identical to that of a GET request, but without the body of the response. Among many other uses, this command may be used to confirm that a remote server is online and accepting requests.

$\mathrm{with}\left(\mathrm{URL}\right)$

$\mathrm{Head}\left( ''http://www.maplesoft.com/''\,\mathrm{output}\=\left[\mathrm{headers}\,\mathrm{content}\,\mathrm{code}\right]\right)$

The new YAML package allows import and export of files and strings in the YAML format, a lightweight file format for exchanging structured data.
The commands YAML[ParseFile] and YAML[ParseString] parse YAML files and strings, respectively, to Maple expressions. The inverse operation, conversion of Maple structures to YAML, is provided by YAML[ToString].

The general-purpose commands Import and Export have also been extended to support YAML.

Example: Import YAML data encoding the mailing address of Maplesoft headquarters.

$\mathrm{yamlFile} ≔ \mathrm{FileTools}:-\mathrm{JoinPath}\left(\left[''example/address.yaml''\right]\, \mathrm{base}\=\mathrm{datadir}\right)$

$T ≔ \mathrm{YAML}:-\mathrm{ParseFile}\left( \mathrm{yamlFile} \right)$

$T\left[''companyName''\right]$

$T\left[''address''\right]\left[''city''\right]\, T\left[''address''\right]\left[''country''\right]$