4.0.0 org.ow2 ow2 1.5 org.ow2.sat4j org.ow2.sat4j.pom pom 2.3.6-SNAPSHOT SAT4J http://www.sat4j.org/ Sat4j is a full featured boolean reasoning library designed to bring state-of-the-art SAT technologies to the Java Virtual Machine. scm:git:https://gitlab.ow2.org/sat4j/sat4j/ https://gitlab.ow2.org/sat4j/sat4j/ scm:git:https://gitlab.ow2.org/sat4j/sat4j/ Eclipse Public License 1.0 http://www.eclipse.org/org/documents/epl-v10.php Manual GNU Lesser GPL 2.1 http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html manual Centre de Recherche en Informatique de Lens (CRIL) http://www.cril.univ-artois.fr/ OW2 Jira http://jira.ow2.org/browse/SAT Developer List sat4j-dev-subscribe@ow2.org sat4j-dev-unsubscribe@ow2.org sat4j-dev@ow2.org http://mail-archive.ow2.org/sat4j-dev/index.html Commits List sat4j-commits-subscribe@ow2.org sat4j-commits-unsubscribe@ow2.org sat4j-commits@ow2.org http://mail-archive.ow2.org/sat4j-commits/index.html leberre Daniel Le Berre daniel.leberre@sat4j.org http://www.sat4j.org/ CRIL CNRS 8188 http://www.cril.fr architect developer +1 1.7 1.7 1.7 1.7 UTF-8 yyyyMMdd ${project.version}.v${maven.build.timestamp} June, 2010 ${project.build.directory}/META-INF/MANIFEST.MF ${javaSource} apache.snapshots http://repository.apache.org/snapshots/ org.sat4j.core org.sat4j.pb org.sat4j.maxsat org.sat4j.sat org.sat4j.csp.xmlparser junit junit 4.12 test org.mockito mockito-all 1.9.5 test install src/main/resources true org.apache.maven.wagon wagon-webdav org.apache.maven.plugins maven-jar-plugin 2.3.1 test-jar ${bundle-manifest} org.apache.maven.plugins maven-surefire-plugin 2.19.1 3 true true **/Bug* **/*Test* **/AllTests* **/XplainTests* **/GoodOPBReaderTest* **/Abstract*Test* **/CompetPBResMinHTMixedConstraintsObjectiveLearningTest* **/CompetPBResHTMixedConstraintsObjectiveLearningTest* **/MiniOPBLongClauseCardMinLearningTest* **/PBCPMixedConstraintsCautiousTest* **/MultiObjectiveDependencyHelperTest* org.sat4j.pb.CardConstrFinderTest.class test.prefix ${basedir}/src/test/testfiles/ test.pbprefix ${basedir}/src/test/testfiles/ maven-compiler-plugin 3.6.2 ${javaSource} ${javaTarget} ${testSource} ${testTarget} org.codehaus.mojo cobertura-maven-plugin 2.4 clean clean org.apache.maven.plugins maven-javadoc-plugin 3.0.0-M1 ${javaSource} -Xdoclint:none true attach-javadocs jar org.apache.maven.plugins maven-source-plugin 2.1.2 attach-sources jar org.apache.maven.plugins maven-release-plugin svn+ssh://leberre@svn.forge.objectweb.org/svnroot/sat4j/maven/tags org.apache.maven.plugins maven-antrun-plugin translate-qualifier generate-resources Changing ${bundle-manifest} run org.apache.maven.plugins maven-site-plugin 3.0 org.jacoco jacoco-maven-plugin 0.8.2 process-test-classes prepare-agent org.eclipse.m2e lifecycle-mapping 1.0.0 org.apache.maven.plugins maven-antrun-plugin [1.3,) run org.jacoco jacoco-maven-plugin report org.apache.maven.plugins maven-project-info-reports-plugin 2.4 index scm license issue-tracking mailing-list project-team dependencies org.apache.maven.plugins maven-surefire-report-plugin 2.7 org.apache.maven.plugins maven-jxr-plugin 2.2 org.apache.maven.plugins maven-pmd-plugin 2.5 1.5 org.apache.maven.plugins maven-checkstyle-plugin 2.6 org.codehaus.mojo findbugs-maven-plugin 2.3.1 Low org.sat4j.- org.apache.maven.plugins maven-javadoc-plugin 2.8 org.sat4j:org.sat4j.* org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.* org.codehaus.mojo taglist-maven-plugin 2.4 TODO @todo FIXME DLB release-sign-artifacts performRelease true org.apache.maven.plugins maven-gpg-plugin 1.0-alpha-4 sign-artifacts verify sign