{"push_id":1211612968,"size":1000,"distinct_size":1120,"ref":"refs/heads/master","head":"725efd8c57f7ece0527dfdde5ebbad269a3b175c","before":"ff97c9d039b89a35e3ce8ddf0deeccf485a97c97","commits":[{"sha":"398af302a8d18a230f65b6f5d72e233fd763983a","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"seems to be working","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/398af302a8d18a230f65b6f5d72e233fd763983a"},{"sha":"0d3ade247851b78a90d7442882abdc7d94e96198","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"started working on all-pairs solver","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/0d3ade247851b78a90d7442882abdc7d94e96198"},{"sha":"aff3963db8c9ae8197ca22c8c6c302e8ed92fa79","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"all pairs closer to working","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/aff3963db8c9ae8197ca22c8c6c302e8ed92fa79"},{"sha":"d72ef06f4002c3ba66071f064bceea3fa684e693","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"new options to choose when to activate allpairs","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/d72ef06f4002c3ba66071f064bceea3fa684e693"},{"sha":"382c14062b71bb9ab8745bbedd9bceb383ac634b","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"added dijkstra allpairs option for testing","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/382c14062b71bb9ab8745bbedd9bceb383ac634b"},{"sha":"9d0063cee9c3cf80477861c3cd4697f34bfc8e2a","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"debugging all pairs","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/9d0063cee9c3cf80477861c3cd4697f34bfc8e2a"},{"sha":"efa31eeed4fc46484a8a866f6de2c7528ad4554d","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"switched default allpairs to dijkstra (better for sparse graphs) instead of floyd warshall","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/efa31eeed4fc46484a8a866f6de2c7528ad4554d"},{"sha":"99bf742e1917a29780207c5ffc5a49fa3187944e","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"fixed a major bug in floydwarshal path (was dropping the last node from the path)","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/99bf742e1917a29780207c5ffc5a49fa3187944e"},{"sha":"2e7a4ccf45531728759e50b9e6cb61e2d24aaca6","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"added negative graph decision heuristic","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/2e7a4ccf45531728759e50b9e6cb61e2d24aaca6"},{"sha":"414af86fc91e025ef521f23016dfa50b5e6f902b","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/414af86fc91e025ef521f23016dfa50b5e6f902b"},{"sha":"637356b75c9f88d5eb3c83b095ada2a90d6cf732","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"initial maxflow implementation","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/637356b75c9f88d5eb3c83b095ada2a90d6cf732"},{"sha":"5a6908214106ff3faf5076c7c721d55886c1b162","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"minor changes to support reporting distances, multi-bit graph outputs","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/5a6908214106ff3faf5076c7c721d55886c1b162"},{"sha":"408465796b1f531b8082503f25552ece7946ce6f","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"added some new configuration options, re-enabled polarity check in connectivity","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/408465796b1f531b8082503f25552ece7946ce6f"},{"sha":"85bce31668d340f48e686cafba47efb56c88b86e","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"adding minimum spanning tree support","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/85bce31668d340f48e686cafba47efb56c88b86e"},{"sha":"3a6aa6c345580a850460e65fcb2d35d19fe3232a","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"starting to implement edge based min spanning tree solver","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/3a6aa6c345580a850460e65fcb2d35d19fe3232a"},{"sha":"412de3c756f66dd0a074190a4c75bf3225f85cba","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"working on edge mst constraints","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/412de3c756f66dd0a074190a4c75bf3225f85cba"},{"sha":"f555ba75872ab90106123e375520aa5c51bccbf2","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"mst full graph constraint appears to be working","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/f555ba75872ab90106123e375520aa5c51bccbf2"},{"sha":"4def35230b630073a210361735a50e00eb963db8","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"started working on connected componenets implementation","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/4def35230b630073a210361735a50e00eb963db8"},{"sha":"d6f2dd3bcea8e7fe021fe74a48cce47404fdae8a","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"mst for edges appears to be working","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/d6f2dd3bcea8e7fe021fe74a48cce47404fdae8a"},{"sha":"0d3fbea430e469f674fa0b878ab08262c0179284","author":{"name":"sbayless","email":"cbb030127e03d1363c7139796020a151c21112fe@gmail.com"},"message":"printing out mst","distinct":true,"url":"https://api.github.com/repos/tklenze/monosat-ctl/commits/0d3fbea430e469f674fa0b878ab08262c0179284"}]}
{"actor":{"display_login":"tklenze"}}