GitLab

Changed several portions of code. This "reborn" is due to several problems encountered with the preliminary APIs. The br4cp branch should now be mature enough for the code to be more stable.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2007 ba638df5-4473-46d1-82f8-c3ae2a17a6e1