.. index:: pbes2bool .. _tool-pbes2bool: pbes2bool ========= .. note:: Note: pbes2bool has been superseded by the tool :ref:`tool-pbessolve`. Running pbes2bool invokes the latter. The old functionality of pbes2bool can be found in the deprecated tool :ref:`tool-pbes2booldeprecated`, provided you have installed the deprecated tools. .. include:: man/pbes2bool.rst