{"push_id":827185165,"size":1,"distinct_size":1,"ref":"refs/heads/parallel_example","head":"9f96c104601e115377ba0e763ec25f676e2d2631","before":"6613e248649ee35226d88060588fad2d4ea3db71","commits":[{"sha":"9f96c104601e115377ba0e763ec25f676e2d2631","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":"Examples: Multi-processing with pySMT.","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/9f96c104601e115377ba0e763ec25f676e2d2631"}]}