rsmaxsat 0.1.0

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