{"repository":{"description":"Max-SAT frontend for SCIP","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":164,"owner":"msakai","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2013-02-04T07:07:21-08:00","pushed_at":"2013-02-06T04:34:01-08:00"},"actor_attributes":{"name":"Masahiro Sakai","company":"","blog":"http://www.tom.sfc.keio.ac.jp/~sakai/d/","location":"Kamakura, Japan","email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","type":"User"},"url":"https://github.com/msakai/scip-maxsat/compare/9a876e7fe0...1e948fd2ff"}