This project's CVS repository can be checked out through anonymous (pserver) CVS with the following instruction set. The module you wish to check out must be specified as the modulename (if you don't know which module is defined or if no module is set, just remplace modulename by .). When prompted for a password for anonymous, simply press the Enter key.
cvs -z3 -d:pserver:firstname.lastname@example.org:/cvsroot/sat4j co modulename
Updates from within the module's directory do not need the -d parameter.
Developer CVS Access via SSH
Only project developers can access the CVS tree via SSH 2 (SSH 1 has been disabled for security reason). Substitute modulename and developername with the proper values (if you don't know which module is defined or if no module is set, just remplace modulename by .). Enter your site password when prompted.
cvs -z3 -d:ext:email@example.com:/cvsroot/sat4j co modulename