{"head":"8a89840a1c36f47a75667505cd74b63fb5ed736d","size":5,"push_id":46795084,"ref":"refs/heads/master","commits":[{"sha":"91a37e792ed90255c9f05ea92e0f2a5d7c8a438c","author":{"name":"Matthew Gwynne","email":"ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk"},"url":"https://api.github.com/repos/OKullmann/oklibrary/commits/91a37e792ed90255c9f05ea92e0f2a5d7c8a438c","message":"Editorial correction: removed superfluous whitespace."},{"sha":"53dbea512d6e03a432da00bdcd25931091cc2d17","author":{"name":"Matthew Gwynne","email":"ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk"},"url":"https://api.github.com/repos/OKullmann/oklibrary/commits/53dbea512d6e03a432da00bdcd25931091cc2d17","message":"SAT4J builds with gcj.\n\nQuestion: how to tell \"ant\" to build using *our* gcj?"},{"sha":"4aab01bf9e16183e8b4ca5c1d60192d77998348a","author":{"name":"Oliver Kullmann","email":"9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk"},"url":"https://api.github.com/repos/OKullmann/oklibrary/commits/4aab01bf9e16183e8b4ca5c1d60192d77998348a","message":"Started also considering general lower bounds.\n\nYet no attempt is made to optimise over all possible bounds known\nto the system."},{"sha":"f856dbf8e143db1c47188585661228859df2d5b1","author":{"name":"Oliver Kullmann","email":"9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk"},"url":"https://api.github.com/repos/OKullmann/oklibrary/commits/f856dbf8e143db1c47188585661228859df2d5b1","message":"More PHP-data (OKsolver-2002 much better than minisat-2.2.0)."},{"sha":"8a89840a1c36f47a75667505cd74b63fb5ed736d","author":{"name":"Oliver Kullmann","email":"9d3057641f46721518ec932c7d2232fd8a1f08fc@Swansea.ac.uk"},"url":"https://api.github.com/repos/OKullmann/oklibrary/commits/8a89840a1c36f47a75667505cd74b63fb5ed736d","message":"Merge branch 'sat4j_install' of git://github.com/MGwynne/oklibrary"}],"legacy":{"head":"8a89840a1c36f47a75667505cd74b63fb5ed736d","size":5,"push_id":46795084,"shas":[["91a37e792ed90255c9f05ea92e0f2a5d7c8a438c","360678@swan.ac.uk","Editorial correction: removed superfluous whitespace.","Matthew Gwynne"],["53dbea512d6e03a432da00bdcd25931091cc2d17","360678@swan.ac.uk","SAT4J builds with gcj.\n\nQuestion: how to tell \"ant\" to build using *our* gcj?","Matthew Gwynne"],["4aab01bf9e16183e8b4ca5c1d60192d77998348a","O.Kullmann@Swansea.ac.uk","Started also considering general lower bounds.\n\nYet no attempt is made to optimise over all possible bounds known\nto the system.","Oliver Kullmann"],["f856dbf8e143db1c47188585661228859df2d5b1","O.Kullmann@Swansea.ac.uk","More PHP-data (OKsolver-2002 much better than minisat-2.2.0).","Oliver Kullmann"],["8a89840a1c36f47a75667505cd74b63fb5ed736d","O.Kullmann@Swansea.ac.uk","Merge branch 'sat4j_install' of git://github.com/MGwynne/oklibrary","Oliver Kullmann"]],"ref":"refs/heads/master"}}