Lib.rs

Low Level LogicNG Bindings for OpenWBO

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.

Installation

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

brew install gmp

or on Debian-based systems:

apt-get install libgmp3-dev

Windows is currently only supported via the Windows Subsystem for Linux (WSL).