ConstraintAcquisition2
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency> <groupId>fr.lirmm.cap</groupId> <artifactId>ConstraintAcquisition2</artifactId> <version>0.0.1a</version> </dependency>
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd"> <modelVersion>4.0.0</modelVersion> <groupId>fr.lirmm.cap</groupId> <artifactId>ConstraintAcquisition2</artifactId> <version>0.0.1a</version> <name>CAP - Constraint Acquisition Platform</name> <description>The Constraint Acquisition Platform (CAP) is a library offering a set of algorithms and learners to perform constraint acquisition tasks.</description> <url>https://gite.lirmm.fr/constraint-acquisition-team/cap</url> <licenses> <license> <name>BSD 2-Clause "Simplified"</name> <url>https://gite.lirmm.fr/constraint-acquisition-team/cap/-/blob/main/LICENSE.txt</url> </license> </licenses> <developers> <developer> <name>Nadjib Lazaar</name> <email>nadjib.lazaar@lirmm.fr</email> <organization>LIRMM</organization> <organizationUrl>https://lirmm.fr</organizationUrl> </developer> <developer> <name>Vincent Raveneau</name> <email>vincent.raveneau@lirmm.fr</email> <organization>LIRMM</organization> <organizationUrl>https://lirmm.fr</organizationUrl> </developer> </developers> <scm> <connection>scm:git:git://gite.lirmm.fr/constraint-acquisition-team/cap.git</connection> <developerConnection>scm:git:ssh://gite.lirmm.fr:constraint-acquisition-team/cap.git</developerConnection> <url>https://gite.lirmm.fr/constraint-acquisition-team/cap</url> </scm> <distributionManagement> <snapshotRepository> <id>nexus-staging</id> <url>https://s01.oss.sonatype.org/content/repositories/snapshots</url> </snapshotRepository> <repository> <id>nexus-staging</id> <url>https://s01.oss.sonatype.org/service/local/staging/deploy/maven2/</url> </repository> </distributionManagement> <properties> <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding> <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding> </properties> <build> <sourceDirectory>src</sourceDirectory> <testSourceDirectory>tests</testSourceDirectory> <resources> <resource> <directory>src</directory> <excludes> <exclude>**/*.java</exclude> </excludes> </resource> </resources> <plugins> <!-- skip the default deploy plugin in favor of nexus-staging-maven-plugin --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-deploy-plugin</artifactId> <version>3.1.1</version> <configuration> <skip>true</skip> </configuration> </plugin> <!-- authentication with Sonatype for distribution management --> <plugin> <groupId>org.sonatype.plugins</groupId> <artifactId>nexus-staging-maven-plugin</artifactId> <version>1.6.13</version> <executions> <execution> <id>default-deploy</id> <phase>deploy</phase> <goals> <goal>deploy</goal> </goals> </execution> </executions> <extensions>true</extensions> <configuration> <serverId>nexus-staging</serverId> <nexusUrl>https://s01.oss.sonatype.org/</nexusUrl> <skipStagingRepositoryClose>true</skipStagingRepositoryClose> <autoReleaseAfterClose>false</autoReleaseAfterClose> </configuration> </plugin> <!--<plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-shade-plugin</artifactId> <version>3.5.0</version> <configuration> <!– put your configurations here –> <minimizeJar>false</minimizeJar> </configuration> <executions> <execution> <phase>package</phase> <goals> <goal>shade</goal> </goals> </execution> </executions> </plugin>--> <!-- <plugin> <artifactId>maven-assembly-plugin</artifactId> <configuration> <archive> <manifest> <mainClass>fr.lirmm.coconut.acquisition.expe.AcqApp</mainClass> </manifest> </archive> <descriptorRefs> <descriptorRef>jar-with-dependencies</descriptorRef> </descriptorRefs> </configuration> </plugin> --> <!-- Build an executable JAR --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-jar-plugin</artifactId> <version>3.3.0</version> <configuration> <archive> <manifest> <addClasspath>true</addClasspath> <classpathPrefix>lib/</classpathPrefix> <mainClass>fr.lirmm.coconut.acquisition.expe.AcqApp</mainClass> </manifest> </archive> </configuration> </plugin> <!-- add source attachments for Maven Central--> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-source-plugin</artifactId> <version>2.2.1</version> <executions> <execution> <id>attach-sources</id> <goals> <goal>jar-no-fork</goal> </goals> </execution> </executions> </plugin> <!-- add javadoc attachments for Maven Central--> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-javadoc-plugin</artifactId> <version>3.6.0</version> <executions> <execution> <id>attach-javadocs</id> <goals> <goal>jar</goal> </goals> </execution> </executions> </plugin> <!-- sign components with GPG --> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-gpg-plugin</artifactId> <version>1.5</version> <executions> <execution> <id>sign-artifacts</id> <phase>verify</phase> <goals> <goal>sign</goal> </goals> </execution> </executions> </plugin> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifactId>maven-compiler-plugin</artifactId> <version>3.11.0</version> <configuration> <source>17</source> <target>17</target> </configuration> </plugin> </plugins> </build> <dependencies> <!-- https://mvnrepository.com/artifact/org.choco-solver/choco-solver --> <dependency> <groupId>org.choco-solver</groupId> <artifactId>choco-solver</artifactId> <version>4.10.2</version> </dependency> <dependency> <groupId>commons-cli</groupId> <artifactId>commons-cli</artifactId> <version>1.4</version> </dependency> <!-- <!– https://mvnrepository.com/artifact/commons-cli/commons-cli –> <dependency> <groupId>commons-cli</groupId> <artifactId>commons-cli</artifactId> <version>1.4</version> </dependency>--> <!-- https://mvnrepository.com/artifact/org.apache.commons/commons-lang3 --> <dependency> <groupId>org.apache.commons</groupId> <artifactId>commons-lang3</artifactId> <version>3.11</version> </dependency> <!-- https://mvnrepository.com/artifact/org.graphstream/gs-algo --> <dependency> <groupId>org.graphstream</groupId> <artifactId>gs-algo</artifactId> <version>2.0</version> </dependency> <!-- https://mvnrepository.com/artifact/org.jgrapht/jgrapht-core --> <dependency> <groupId>org.jgrapht</groupId> <artifactId>jgrapht-core</artifactId> <version>1.3.0</version> </dependency> <!-- https://mvnrepository.com/artifact/org.graphstream/gs-core --> <dependency> <groupId>org.graphstream</groupId> <artifactId>gs-core</artifactId> <version>1.3</version> </dependency> <!-- https://mvnrepository.com/artifact/org.graphstream/gs-ui --> <dependency> <groupId>org.graphstream</groupId> <artifactId>gs-ui</artifactId> <version>1.3</version> </dependency> <!-- https://mvnrepository.com/artifact/org.ow2.sat4j/org.ow2.sat4j.core --> <dependency> <groupId>org.ow2.sat4j</groupId> <artifactId>org.ow2.sat4j.core</artifactId> <version>2.3.5</version> </dependency> <!-- https://mvnrepository.com/artifact/com.microsoft.z3/java-jar --> <!-- https://mvnrepository.com/artifact/org.sosy-lab/javasmt-solver-z3 --> <dependency> <groupId>org.sosy-lab</groupId> <artifactId>javasmt-solver-z3</artifactId> <version>4.8.9-sosy1</version> </dependency> <!-- https://mvnrepository.com/artifact/org.json/json --> <dependency> <groupId>org.json</groupId> <artifactId>json</artifactId> <version>20210307</version> </dependency> </dependencies> <repositories> <repository> <id>clojars</id> <name>Clojars</name> <url>https://repo.clojars.org/</url> </repository> </repositories> </project>