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.