A delegator to treat outputformats of different MaxSAT Solvers differently
A delegator to treat outputformats of different MaxSAT Solvers differently
output of sepcific MaxSAT Solver
The helper object used for this input/output session.
None if UNSAT, Some(minimal model) otherwise