.. _blackbox-module:

BlackBox Module
===============

The BlackBox modules provides utilities to run external scripts and programs in a constrained environment and parse the result.

It also provides a wrapper around SAT Heritage (Satex) that allows the execution of solvers from the SAT Competition.

.. toctree::
    :maxdepth: 1

    blackbox/execution-constraints.rst
    blackbox/system-blackbox.rst
    blackbox/satex-blackbox.rst