{"repository":{"watchers":6,"has_downloads":false,"owner":"dtompkins","pushed_at":"2013-01-12T18:19:55-08:00","description":"The Stochastic Local Search SAT Solver from UBC","stargazers":6,"forks":1,"has_issues":false,"language":"C","has_wiki":false,"fork":false,"size":132,"created_at":"2010-07-22T18:48:30-07:00","open_issues":0,"private":false,"homepage":"http://ubcsat.dtompkins.com"},"actor_attributes":{"name":"Dave Tompkins","type":"User","blog":"http://dtompkins.com","location":"Vancouver, BC","email":"6aaa762dc71c91807f2a5016bbfdf7c747d41f69@dtompkins.com"},"url":"https://github.com/dtompkins/ubcsat/tree/v1.2beta17"}