Add in coinmp and glpk formulae

closes #2