<h2>Installation</h2>

<ol>
  <li><span class="code">tar xf sawja-SAWJA_TRUNK.tar.bz2</span></li>
  <li><span class="code">cd sawja-SAWJA_TRUNK</span></li>
  <li><span class="code">./configure.sh</span></li>
  <li>if there are missing dependencies, please install them and
  run <span class="code">./configure.sh</span> again.
  </li>
  <li><span class="code">make &amp;&amp; make install</span></li>
</ol>

<p>You may need superuser rights for the installation phases. </p>

<p>
  (optional:) The performance of the XTA class analysis can be boosted by using
  BuDDy (a BDD package).  To enable this, you have to download <a
    href="http://sourceforge.net/projects/buddy/">BuDDy</a>, apply the patch
  <span class="code">buddycaml/patch</span> on the source files and
  compile/install them.  Finally, use <span class="code">./configure.sh</span>
  with option <span class="code">-b yes</span> when compiling Sawja.
</p>
