.. index:: symbolic_exploration

.. _tool-symbolic_exploration:

symbolic_exploration
====================

This tool uses a symbolic approach for PBES instantiation, based on the work of Tom Boshoven. It is highly experimental, and using it is not recommended.


.. include:: man/symbolic_exploration.rst