an be overidden with Z3_PATH and <code>--z3</code>)</p></dd></dl><dl><dt class="spec value" id="val-isla_client"><a href="#val-isla_client" class="anchor"></a><code><span class="keyword">val</span> isla_client : string</code></dt><dd><p>Default Isla command. (Can be overidden with ISLA_CLIENT and <code>--isla</code>)</p></dd></dl><dl><dt class="spec value" id="val-arch"><a href="#val-arch" class="anchor"></a><code><span class="keyword">val</span> arch : string</code></dt><dd><p>The default architecture to p