.. bddsolve documentation master file, created by
   sphinx-quickstart on Tue Sep  6 09:29:57 2011.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Bddsolve
========

**Author:** `Wieger Wesselink <http://www.win.tue.nl/~wieger>`_

Bddsolve is a BDD-based tool for solving satisfiability and reachability problems.
It uses the BDD package `Buddy <http://buddy.sourceforge.net/>`_ as a backend.

Contents:

.. toctree::
   :maxdepth: 2

   bddsolve
   macbuild

Indices and tables
==================

* :ref:`search`