{"push_id":931558735,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"4023a30f028e71b46ffc0dfc058cbcb6cd2ea06b","before":"dedcae28bd6b04fdaa34120ddc578dc77ca19a66","commits":[{"sha":"02c676c1448361a16a00120939695f58b8edcbd6","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.uni-potsdam.de","name":"Benjamin Kaufmann"},"message":"map to solver literals once\n\nSigned-off-by: Bernhard Bliem <bliem@dbai.tuwien.ac.at>","distinct":true,"url":"https://api.github.com/repos/bbliem/dflat/commits/02c676c1448361a16a00120939695f58b8edcbd6"},{"sha":"b4ce91b335ad41c58a8254b739795cc209cf6166","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.uni-potsdam.de","name":"Benjamin Kaufmann"},"message":"added missing include\n\nSigned-off-by: Bernhard Bliem <bliem@dbai.tuwien.ac.at>","distinct":true,"url":"https://api.github.com/repos/bbliem/dflat/commits/b4ce91b335ad41c58a8254b739795cc209cf6166"},{"sha":"4023a30f028e71b46ffc0dfc058cbcb6cd2ea06b","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.uni-potsdam.de","name":"Benjamin Kaufmann"},"message":"removed dependency to Clasp::SymbolTable\n\nSigned-off-by: Bernhard Bliem <bliem@dbai.tuwien.ac.at>","distinct":true,"url":"https://api.github.com/repos/bbliem/dflat/commits/4023a30f028e71b46ffc0dfc058cbcb6cd2ea06b"}]}