.. _examples:

Examples
********


.. toctree::

   notebooks/prog_synthesis.ipynb
   notebooks/conf_synthesis.ipynb
   notebooks/conf_inversion.ipynb
   notebooks/parallel.ipynb
   notebooks/parallel_synth.ipynb
   notebooks/external_optimizer.ipynb