{"push_id":1088650189,"size":1,"distinct_size":1,"ref":"refs/heads/alternating","head":"b67a96bbc53df6c50d49ed02903826196368bc98","before":"fa5d521ac8ad3c7f575bd80e62261262cfe7b8a0","commits":[{"sha":"b67a96bbc53df6c50d49ed02903826196368bc98","author":{"email":"df7b4d496003027c97e9f68f5d3b8f420e8db9be@gmail.com","name":"Zachary Kincaid"},"message":"Use positive boolean expressions for isEquivalent testing","distinct":true,"url":"https://api.github.com/repos/lorisdanto/symbolicautomata/commits/b67a96bbc53df6c50d49ed02903826196368bc98"}]}