Support for using BreakIDGlucose as an external SAT solver.