GitHub PushEvent at 2014-01-27 18:43:51
Repository: CVC4
Actor: timothy-king
Payload: {"shas":[["c50e9b8890e30732b7e697e413d1851a036d1f44","ee8a1d1efb05d8171fc0140ced15d455e83941c5@cs.nyu.edu","Bug fixes for dio solver.","Tim King",true]],"size":1,"ref":"refs/heads/custom-glpk","head":"c50e9b8890e30732b7e697e413d1851a036d1f44"}