# rsmaxsat
The `rsmaxsat` is a Rust library that provides bindings for the MaxSAT solver. Currently supported solvers include:
- [EvalMaxSAT](https://github.com/FlorentAvellaneda/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.)