This project uses Subversion to manage its source code. Instructions on Subversion use can be found at http://svnbook.red-bean.com/.
The source can be checked out anonymously from SVN with this command:
$ svn checkout svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.1/org.sat4j.maxsat org.sat4j.maxsat
Refer to the documentation of the SCM used for more information about access behind a firewall.
The Subversion client can go through a proxy, if you configure it to do so. First, edit your "servers" configuration file to indicate which proxy to use. The file's location depends on your operating system. On Linux or Unix it is located in the directory "~/.subversion". On Windows it is in "%APPDATA%\Subversion". (Try "echo %APPDATA%", note this is a hidden directory.)
There are comments in the file explaining what to do. If you don't have that file, get the latest Subversion client and run any command; this will cause the configuration directory and template files to be created.
Example: Edit the 'servers' file and add something like:
[global] http-proxy-host = your.proxy.name http-proxy-port = 3128
