{"push_id":1455025498,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9edf5fc43e0a9885b7aff0d2c88036c6bcd7c5e8","before":"7705f7fa42bf9f63b7effd6f42a72e97761bf092","commits":[{"sha":"9edf5fc43e0a9885b7aff0d2c88036c6bcd7c5e8","author":{"name":"30044279","email":"d59bc6ddd0dcb33af777bba6497eacf855f9e800@9L61062.AD.UWS.EDU.AU"},"message":"Created a new version of SATProver and SATProverStateMachine that does\nnot require you to set the state and actions before calling prove().\nReplaced prove() by three new methods, which allow you to prove state\nproperties, or general properties, or state/action properties\nrespectively.","distinct":true,"url":"https://api.github.com/repos/davedejonge/ggp/commits/9edf5fc43e0a9885b7aff0d2c88036c6bcd7c5e8"}]}
{"actor":{"display_login":"davedejonge"}}