{"repository":{"description":"A minimalistic and high-performance SAT solver – patched to find all solutions.","language":"C++","created_at":"2012/04/15 15:25:40 -0700","pushed_at":"2012/05/31 06:37:52 -0700","watchers":1,"has_downloads":true,"homepage":"minisat.se","fork":true,"size":128,"private":false,"has_issues":false,"has_wiki":true,"forks":0,"owner":"surma","open_issues":0},"actor_attributes":{"name":"Alexander Surma","company":"asdf-systems","location":"Berlin, Germany","blog":"http://www.surmair.de","type":"User","email":"e8cf64d4ed46012faceace8e5a40ee721bb47545@surmair.de"},"url":"https://github.com/surma/minisat/compare/ca35e98e5a...b42008c2f9"}