rsmaxsat
| Crates.io | rsmaxsat |
| lib.rs | rsmaxsat |
| version | 0.1.1 |
| created_at | 2025-01-28 11:59:56.137867+00 |
| updated_at | 2025-01-28 15:21:17.975929+00 |
| description | The rsmaxsat is a Rust library that provides bindings for the MaxSAT solver |
| homepage | |
| repository | https://github.com/francisol/rsmaxsat.git |
| max_upload_size | |
| id | 1533437 |
| size | 62,956 |
Xie Zhongtao (francisol)
documentation
README
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.)