Max-SAT frontend for GLPK (GNU Linear Programming Kit) http://www.gnu.org/software/glpk/.
It convert problems of MAX-SAT families into MIP and solve them using LP-based branch-and-bound approach.
./waf configure
./waf build
glpsol-maxsat [file.cnf|file.wcnf]
The GLPK (GNU Linear Programming Kit) package is intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of routines written in ANSI C and organized in the form of a callable library.