{"repository":{"description":"An interface to SAT solver tools (like minisat)","homepage":"","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":236,"owner":"netom","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-02-06T00:45:52-08:00","pushed_at":"2013-02-06T05:42:17-08:00"},"actor_attributes":{"name":"Fábián Tamás László","company":"Vengit kft.","location":"Budapest","email":"04302040f28bcea3a1fab5d0789cc08866bae065@gmail.com","type":"User"},"url":"https://github.com/netom/satispy/compare/39192a8a92...804b0ddeba"}