{"repository":{"description":"A monad for interfacing with external SAT solvers","homepage":"","watchers":7,"stargazers":7,"forks":3,"fork":false,"size":544,"owner":"ekmett","private":false,"open_issues":1,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2010-06-14T02:32:06-07:00","pushed_at":"2013-03-19T12:39:28-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Edward Kmett","company":"S&P Capital IQ","blog":"http://comonad.com","location":"Cambridge, MA","email":"6ed452734e05f476dcb27611d798f6c1f2e74de0@gmail.com"},"url":"https://github.com/ekmett/ersatz/compare/22cce83606...dda7005123"}