.. index:: pbes2yices

.. _tool-pbes2yices:

pbes2yices
==========

.. include:: man/pbes2yices.rst