{"repository":{"pushed_at":"2012-08-28T11:36:42-07:00","forks":0,"owner":"delcypher","has_issues":true,"has_downloads":true,"language":"C++","created_at":"2012-08-23T04:11:03-07:00","description":"A C++ wrapper for STP that makes STP behave like a compliant SMTLIBv2 solver for KLEE","fork":false,"size":180,"has_wiki":true,"watchers":0,"stargazers":0,"private":false,"open_issues":0},"actor_attributes":{"company":"Student","type":"User","name":"Dan Liew","blog":"http://www.su-root.co.uk","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/delcypher/stpwrap2/compare/482f4dc310...65faab3cfa"}