pom.xml 2.15 KB
Newer Older
1
<?xml version="1.0" encoding="UTF-8"?><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 http://maven.apache.org/maven-v4_0_0.xsd">
2
3
  <modelVersion>4.0.0</modelVersion>
  <parent>
4
5
    <groupId>org.ow2.sat4j</groupId>
    <artifactId>org.ow2.sat4j.pom</artifactId>
6
    <version>2.3.6-SNAPSHOT</version>
7
  </parent>
8
  <artifactId>org.ow2.sat4j.core</artifactId>
9
  <name>SAT4J core</name>
leberre's avatar
leberre committed
10
11
12
13
14
15
16
17
18
  <description>
  The core library contains a flexible implementation in Java of the initial Minisat specification.
  The library is regularly updated with latest SAT technologies. It is a mature software that target
  Java developer willing to use SAT capability in their software.
  </description>
  <developers>
    <developer>
      <id>leberre</id>
      <name>Daniel Le Berre</name>
19
20
21
22
      <email>leberre@cril.fr</email>
      <url>http://www.cril.fr/~leberre/</url>
      <organization>CRIL CNRS UMR 8189</organization>
      <organizationUrl>http://www.cril.fr</organizationUrl>
leberre's avatar
leberre committed
23
24
25
26
      <roles>
        <role>architect</role>
        <role>developer</role>
      </roles>
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
    </developer>
        <developer>
      <id>sroussel</id>
      <name>Stephanie Roussel</name>
      <email>sroussel@cril.fr</email>
      <organization>CRIL CNRS 8188</organization>
      <organizationUrl>http://www.cril.fr</organizationUrl>
      <roles>
        <role>developer</role>
      </roles>
      <timezone>+1</timezone>
    </developer>
    <developer>
      <id>lonca</id>
      <name>Emmanuel Lonca</name>
      <email>lonca@cril.fr</email>
      <url>http://www.sat4j.org/</url>
      <organization>CRIL CNRS 8188</organization>
      <organizationUrl>http://www.cril.fr</organizationUrl>
      <roles>
        <role>developer</role>
      </roles>
      <timezone>+1</timezone>
leberre's avatar
leberre committed
50
51
52
53
54
55
56
57
58
59
60
61
    </developer>
  </developers>
  <contributors>
    <contributor>
      <name>Carsten Fuhs</name>
      <email>fuhs@informatik.rwth-aachen.de</email>
      <url>http://verify.rwth-aachen.de/fuhs/</url>
     </contributor>
    <contributor>
      <name>Dieter von Holten</name>
     </contributor>
  </contributors>
62
</project>