{"repository":{"description":"Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":6804,"owner":"andrejbauer","private":false,"open_issues":8,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"OCaml","created_at":"2013-10-09T00:04:58-07:00","pushed_at":"2013-12-05T07:13:11-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Andrej","email":"ec4bb1e77ac8f5a2d664f89c2219dfe72b59ed95@gmail.com"},"url":"https://github.com/andrejbauer/alg/compare/af18c199e0...9a40cc6f45"}