{"repository":{"description":"Linear kSAT Solver","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":19492,"owner":"me0","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C","created_at":"2013-03-21T04:30:50-07:00","pushed_at":"2013-03-28T01:24:15-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Maknickas Algirdas Antano","company":"Vilnius Gediminas Technical University","blog":"https://www.bytea.lt","location":"Vilnius, Lithuania","email":"87cd3792367b89207a45bbb6b186373c485631c2@bytea.lt"},"url":"https://github.com/me0/LikSATSolver/compare/8806788b38...4db53f3c4b"}