Other packages > Find by keyword >

Rwbo  

Run the 'Open-WBO' MaxSAT Solver
View on CRAN: Click here


Download and install Rwbo package within the R console
Install from CRAN:
install.packages("Rwbo")

Install from Github:
library("remotes")
install_github("cran/Rwbo")

Install by package version:
library("remotes")
install_version("Rwbo", "0.1.2")



Attach the package and use:
library("Rwbo")
Maintained by
Matthias Ollech
[Scholar Profile | Author Map]
All associated links for this package
First Published: 2026-01-21
Latest Update: 2026-01-21
Description:
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.
How to cite:
Matthias Ollech (2026). Rwbo: Run the 'Open-WBO' MaxSAT Solver. R package version 0.1.2, https://cran.r-project.org/web/packages/Rwbo. Accessed 17 Jul. 2026.
Previous versions and publish date:
(2026-07-09 08:24), 0.1.1 (2026-01-16 12:10)
Other packages that cited Rwbo R package
View Rwbo citation profile
Other R packages that Rwbo depends, imports, suggests or enhances
Complete documentation for Rwbo
Functions, R codes and Examples using the Rwbo R package
Full Rwbo package functions and examples
Downloads during the last 30 days

Today's Hot Picks in Authors and Packages

VFS  
Vegetated Filter Strip and Erosion Model
Empirical models for runoff, erosion, and phosphorus loss across a vegetated filter strip, given sl ...
Download / Learn more Package Citations See dependency  
alabama  
Constrained Nonlinear Optimization
Augmented Lagrangian Adaptive Barrier Minimization Algorithm for optimizing smooth nonlinear object ...
Download / Learn more Package Citations See dependency  
VEwaningVariant  
Vaccine Efficacy Over Time - Variant Aware
Implements methods for inference on potential waning of vaccine efficacy and for estimation of vacci ...
Download / Learn more Package Citations See dependency  
FastKNN  
Fast k-Nearest Neighbors
Compute labels for a test set according to the k-Nearest Neighbors classification. This is a fast wa ...
Download / Learn more Package Citations See dependency  
rt.test  
Robustified t-Test
Performs one-sample t-test based on robustified statistics using median/MAD (TA) and Hodges-Lehmann/ ...
Download / Learn more Package Citations See dependency  
r2resize  
In-Text Resize for Images, Tables and Fancy Resize Containers in 'shiny', 'rmarkdown' and 'quarto' Documents
Automatic resizing toolbar for containers, images and tables. Various resizable or expandable contai ...
Download / Learn more Package Citations See dependency  

27,806

R Packages

239,283

Dependencies

73,837

Author Associations

27,807

Publication Badges

© Copyright since 2022. All right reserved, rpkg.net.  Based in Cambridge, Massachusetts, USA