:exclamation: This is a read-only mirror of the CRAN R package repository. Rwbo — Run the 'Open-WBO' MaxSAT Solver - View it on GitHub