GitHub PushEvent at 2014-03-12 11:39:08
Repository: CVC4
Actor: mdeters
Payload: {"shas":[["dd4c52883c5fb1c952c11f5192baff0b49269e93","fed39eeb2211bd98bbdce21325227889dd5b6d28@cs.nyu.edu","some unsat core infrastructure","Morgan Deters",true]],"size":1,"ref":"refs/heads/unsat-cores","head":"dd4c52883c5fb1c952c11f5192baff0b49269e93"}