{"repository":{"owner":"PuzzleDev","created_at":"2012-07-14T10:44:21-07:00","watchers":1,"has_wiki":true,"organization":"PuzzleDev","open_issues":0,"pushed_at":"2012-07-14T18:40:44-07:00","forks":1,"fork":false,"size":208,"has_issues":true,"description":"An LTL sat solver based on Z3","private":false,"has_downloads":true,"language":"Scala"},"actor_attributes":{"name":"Michele Sama","type":"User","company":"PuzzleDev","location":"Italy","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/PuzzleDev/NuZot/wiki/Projects-using-NuZot"}