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.

• Execution Constraints
• System Black Box
• Satex Black Box