{"push_id":699032206,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2d0bc1d505d187c6068e85c7244cc2a17aaa6c6f","before":"7afb57523726947a86cf004f855c7b603c781c1e","commits":[{"sha":"e4ef3c8ece5889bbaa64bddee3ea0fb35e343566","author":{"email":"8ee5c7b4045e8d5d84ef47856747ba36e3ed6667@users.noreply.github.com","name":"Andrew Leverentz"},"message":"fix bug in partialMapPredicate","distinct":true,"url":"https://api.github.com/repos/buggi22/shackle/commits/e4ef3c8ece5889bbaa64bddee3ea0fb35e343566"},{"sha":"2d0bc1d505d187c6068e85c7244cc2a17aaa6c6f","author":{"email":"8ee5c7b4045e8d5d84ef47856747ba36e3ed6667@users.noreply.github.com","name":"Andrew Leverentz"},"message":"switch to using partialMapPredicate in SatSolver","distinct":true,"url":"https://api.github.com/repos/buggi22/shackle/commits/2d0bc1d505d187c6068e85c7244cc2a17aaa6c6f"}]}