rsmaxsat 0.1.1

The rsmaxsat is a Rust library that provides bindings for the MaxSAT solver
Documentation