Max-SAT frontend for GLPK