msat (cargo): MaxSAT Solver 
Keywords: satisfiability|solver|math|boolean|maxsat|maxsat-solver|sat|unsat