Skip to content

Latest commit

 

History

History
22 lines (13 loc) · 971 Bytes

File metadata and controls

22 lines (13 loc) · 971 Bytes

R Wrapper for Open-WBO an MaxSAT Solver

CRAN_Status_Badge R-CMD-check


Rwbo is an R wrapper around the C++-based command-line tool Open-WBO, an extensible and modular open-source MaxSAT Solver. The package exposes a single function that enables calling Open-WBO.

Contribution

If you are interested in contributing to this package, feel free to create an issue or a pull request.

Acknowledgments

The Open-WBO library on which this package is based was published under the MIT license.
No connection to the original authors is implied or should be inferred.