Low level Rust bindings for the MaxSAT solver
Open-WBO. This crate is used within
the logic library LogicNG by
activating the feature open_wbo.
This crate builds the Open-WBO solver from source. There is a LogicNG-specific
fork of the solver in this
repository which is used in
this build step. The code is included with a Git submodule at
lib/open_wbo/logicng-open-wbo. When building from source, make sure to load
this submodule first via git submodule update --init.
Building is tested on macOS and Linux and should usually just require an installed C++ compiler toolchain an the GMP library which can be installed e.g. on macOS with the popular package manager Homebrew
bash
brew install gmp
or on Debian-based systems:
bash
apt-get install libgmp3-dev
Windows is currently only supported via the Windows Subsystem for Linux (WSL).