{"repository":{"description":"A minimalistic and high-performance SAT solver","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":0,"owner":"dbunker","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-02-15T21:43:44-08:00","pushed_at":"2013-02-15T21:43:44-08:00","master_branch":"master"},"actor_attributes":{"name":"David Bunker","blog":"fizbizfiz.biz","email":"875d2510dc6e2bc50729a72ea1fe47adf1edc102@fizbizfiz.biz","type":"User"},"url":"https://github.com/dbunker/minisat"}