GitHub PushEvent at 2014-11-20 17:50:53
Repository: RP-DeLP_solver
Actor: f-guitart
Payload: {"shas":[["984b7a410715bcae593977f4cac4f6ddebf8be41","e12e3e89668a1cbeda8cb5c2be19d4c4fd9b1692@gmail.com","Changed builtin path to minisat and clingo","Francesc Guitart",true],["c05412d7fb9802e6c1218d2511463795ab126900","e12e3e89668a1cbeda8cb5c2be19d4c4fd9b1692@gmail.com","Changed builtin path to minisat and clingo","Francesc Guitart",true]],"size":2,"ref":"refs/heads/master","head":"c05412d7fb9802e6c1218d2511463795ab126900"}