bap_wp</a> &#x00BB; <a href="../index.html">Bap_wp</a> &#x00BB; Z3_utils</nav><header class="odoc-preamble"><h1>Module <code><span>Bap_wp.Z3_utils</span></code></h1><p>This module exports utility functions for working with Z3. Unfortunately, the module hierarchy necessitates thats some things that might naturally be placed in here have to put elsewhere, in particular any functionality required by <code>Constr</code> or <code>Env</code>.</p></header><div class="odoc-content"><div class="odoc-spec"><div class