{"repository":{"description":"Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.","homepage":"","watchers":2,"stargazers":2,"forks":0,"fork":false,"size":3796,"owner":"regb","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Scala","created_at":"2012-02-14T21:49:25-08:00","pushed_at":"2013-04-20T04:24:11-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Régis Blanc","company":"EPFL","blog":"http://people.epfl.ch/regis.blanc","location":"Morges, Switzerland","email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com"},"url":"https://github.com/regb/scabolic/compare/3643e0a30d...a5062f033c"}