2 releases
| 0.1.1 | Jan 28, 2025 |
|---|---|
| 0.1.0 | Jan 28, 2025 |
#1272 in Math
18KB
167 lines
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.)
No runtime deps
~0–4MB
~69K SLoC