#Wed Mar 21 13:41:35 CET 2012
analyseLocally=false
eclipse.preferences.version=1
projectArtifactId=org.sat4j.maxsat
projectBranch=
projectGroupId=org.sat4j
serverUrl=http\://localhost\:9000
version=1
