smt.html 594 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>smt</title>
</head>
<body>
<h2 id="smt">smt</h2>
<blockquote>
    <p>Synopsis: <code>smt solver=&lt;STRING&gt;</code></p>
</blockquote>
<p></strong>Description:</strong>

    Invoke an external SMT solver. That solver must be adequately
    configured outside the script mechanism. By default, Z3 is invoked,
    but that can be chosen.
</p>


<p><strong>Arguments:</strong></p>
<ul>
    <li>solver : <em>STRING</em> comma separated list of SMT solvers (currently supported: "z3", "yices")</li>
</ul>
</body>
</html>