{"repository":{"description":"A minimalistic and high-performance SAT solver","homepage":"minisat.se","watchers":84,"stargazers":84,"forks":37,"fork":false,"size":176,"owner":"niklasso","private":false,"open_issues":4,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2009-09-06T12:02:00-07:00","pushed_at":"2013-01-23T04:17:43-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"jkunlin","email":"31523d9574840c58d2c0beab53d2954fd90bbe66@gmail.com"},"url":"https://github.com/jkunlin/minisat"}