Rwbo: Run the 'Open-WBO' MaxSAT Solver

2026 Dataset Open access

Read full text
Authors: Matthias Ollech
DOI: 10.32614/cran.package.rwbo
Cited by: 0

Abstract

Provides a wrapper for running the bundled 'Open-WBO' Maximum Satisfiability (MaxSAT) solver (). Users can pass command-line arguments to the solver and capture its output as a character string or file.

Fields of Study & Subjects

Constraint Satisfaction and Optimization Formal Methods in Verification Polynomial and algebraic computation

Publication details

Publication date
16 January 2026
Document type
Dataset