Decoding LDPC codes via linear programming with GLPK