Function msat::solve

pub fn solve(dimacs: Dimacs) -> (Solution, usize)

Solves the maxsat (unweighted) formula and returns the solution along with the optimum