Lib.rs

OpenWBO 的底层 LogicNG 绑定

MaxSAT 求解器 Open-WBO 的底层 Rust 绑定。此 crate 在通过激活功能 open_wbo 在逻辑库 LogicNG 中使用。

安装

此 crate 从源代码构建 Open-WBO 求解器。在此 仓库 中有一个 LogicNG 特定的 solver 分支，用于此构建步骤。代码包含在 Git 子模块中，位于 lib/open_wbo/logicng-open-wbo。从源代码构建时，请确保首先通过以下命令加载此子模块：git submodule update --init.

在 macOS 和 Linux 上测试了构建，通常只需要已安装的 C++ 编译器工具链和 GMP 库，例如在 macOS 上可以使用流行的包管理器 Homebrew

brew install gmp

或基于 Debian 的系统

apt-get install libgmp3-dev

目前仅通过 Windows Subsystem for Linux (WSL) 支持 Windows。