rsmaxsat

The rsmaxsat is a Rust library that provides bindings for the MaxSAT solver. Currently supported solvers include:

• EvalMaxSAT GPL-3.0 license

Build Requirements

To build RSsat, you need the following tools and libraries:

• C++ compiler (e.g., GCC, Clang)
• CMake
• patch command
• Other standard build tools (make, etc.)