Run the 'Open-WBO' MaxSAT Solver // Provides a wrapper for running the bundled 'Open-WBO' Maximum Satisfiability (MaxSAT) solver (https://github.com/sat-group/open-wbo). Users can pass command-line arguments to the solver and capture its output as a character string or file.