GitHub clone of SVN repo svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk/ (cloned by http://svn2github.com/)