Msat - Introduction v0.1.0 A MaxSAT Solver written primarily in Rust. Code The code for rsat is open source and available on GitHub under the MIT License. TODO