.. index.rst

Python VCD2Wavedrom Documentation
=================================

:Release: |version|
:Date: |today|

TODO - Work in Progress

PyEDA is a Python library for electronic design automation.

Fork PyEDA: https://github.com/cjdrake/pyeda

Features:

* Symbolic Boolean algebra with a selection of function representations:

  * Logic expressions
  * Truth tables, with three output states (0, 1, "don't care")
  * Reduced, ordered binary decision diagrams (ROBDDs)

* SAT solvers:

  * Backtracking
  * `PicoSAT <http://fmv.jku.at/picosat>`_

* `Espresso <http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm>`_ logic minimization
* Formal equivalence
* Multi-dimensional bit vectors
* DIMACS CNF/SAT parsers
* Logic expression parser

Contents
--------

.. toctree::
   :maxdepth: 2

   overview.rst

#   install.rst
#   boolalg.rst
#   bdd.rst
#   expr.rst
#   farray.rst
#   2llm.rst
#   sudoku.rst
#   queens.rst
#   relnotes.rst
#   reference.rst

Indices and Tables
------------------

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`