logicng-open-wbo-sys
| Crates.io | logicng-open-wbo-sys |
| lib.rs | logicng-open-wbo-sys |
| version | 0.1.0-alpha.3 |
| source | src |
| created_at | 2023-09-18 08:14:49.82593 |
| updated_at | 2023-09-18 13:02:24.763452 |
| description | LogicNG Bindings for OpenWBO |
| homepage | https://www.logicng.org/ |
| repository | https://github.com/booleworks/logicng-rs |
| max_upload_size | |
| id | 975666 |
| size | 1,089,390 |
Steffen Hildebrandt (SHildebrandt)
documentation
README
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).