{"push_id":1428478025,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"8c0129330e71f2fd71ff85bc90e42c13b73c975d","before":"a00923a959d2c029ed51225d7df34c7fbbe6b158","commits":[{"sha":"024a7ceb34cb6a736ba0db442d6122e18bf6e012","author":{"name":"lonca","email":"b68baacd26fe24b4e9310ec7fe17d635865961af@ba638df5-4473-46d1-82f8-c3ae2a17a6e1"},"message":"Made XCSP2 DIMACS output solvers print the encoding in the same way XCSP3 solvers do.\n\ngit-svn-id: svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk@2544 ba638df5-4473-46d1-82f8-c3ae2a17a6e1","distinct":true,"url":"https://api.github.com/repos/svn2github/SAT4J/commits/024a7ceb34cb6a736ba0db442d6122e18bf6e012"},{"sha":"8c0129330e71f2fd71ff85bc90e42c13b73c975d","author":{"name":"lonca","email":"b68baacd26fe24b4e9310ec7fe17d635865961af@ba638df5-4473-46d1-82f8-c3ae2a17a6e1"},"message":"Changed CSP encoding display\n\ngit-svn-id: svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk@2545 ba638df5-4473-46d1-82f8-c3ae2a17a6e1","distinct":true,"url":"https://api.github.com/repos/svn2github/SAT4J/commits/8c0129330e71f2fd71ff85bc90e42c13b73c975d"}]}
{"actor":{"display_login":"svn2github"}}