Skip to content

Commit e61d3dd

Browse files
author
Matthias Thimm
committed
TweetyProject winter release 2025 (1.28)
1 parent 62b3545 commit e61d3dd

58 files changed

Lines changed: 959 additions & 745 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.DS_Store‎

0 Bytes
Binary file not shown.

‎README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ If you want to make your own contributions to the code, follow the usual steps:
2727
* Create a pull request`
2828

2929
## Documentation
30-
* **API:** The most recent version of the technical documentation for all TweetyProject libraries in form of the JavaDoc API can be found here: [TweetyProject API 1.27](http://tweetyproject.org/api/1.27/index.html)
30+
* **API:** The most recent version of the technical documentation for all TweetyProject libraries in form of the JavaDoc API can be found here: [TweetyProject API 1.28](http://tweetyproject.org/api/1.28/index.html)
3131
* **Integration of third-party solvers:** The following pages give some more detailed information on how third-party products such as SAT solvers and optimization solvers can be integrated in TweetyProject:
3232
* [Integration of SAT Solvers](http://tweetyproject.org/doc/sat-solvers.html)
3333
* [Integration of first-order logic theorem provers](http://tweetyproject.org/doc/fol-provers.html)

‎org-tweetyproject-action/pom.xml‎

Lines changed: 37 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -1,33 +1,37 @@
1-
<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/xsd/maven-4.0.0.xsd">
2-
<modelVersion>4.0.0</modelVersion>
3-
<artifactId>action</artifactId>
4-
<name>TweetyProject (Action and Change)</name>
5-
<parent>
6-
<groupId>org.tweetyproject</groupId>
7-
<artifactId>parent-pom</artifactId>
8-
<version>1.27-SNAPSHOT</version>
9-
<relativePath>..</relativePath>
10-
</parent>
11-
<dependencies>
12-
<dependency>
13-
<groupId>org.tweetyproject</groupId>
14-
<artifactId>commons</artifactId>
15-
<version>1.27-SNAPSHOT</version>
16-
</dependency>
17-
<dependency>
18-
<groupId>org.tweetyproject.logics</groupId>
19-
<artifactId>fol</artifactId>
20-
<version>1.27-SNAPSHOT</version>
21-
</dependency>
22-
<dependency>
23-
<groupId>org.tweetyproject.lp</groupId>
24-
<artifactId>asp</artifactId>
25-
<version>1.27-SNAPSHOT</version>
26-
</dependency>
27-
<dependency>
28-
<groupId>org.tweetyproject.logics</groupId>
29-
<artifactId>commons</artifactId>
30-
<version>1.27-SNAPSHOT</version>
31-
</dependency>
32-
</dependencies>
33-
</project>
1+
<project
2+
xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
5+
>
6+
<modelVersion>4.0.0</modelVersion>
7+
<artifactId>action</artifactId>
8+
<name>TweetyProject (Action and Change)</name>
9+
<parent>
10+
<groupId>org.tweetyproject</groupId>
11+
<artifactId>parent-pom</artifactId>
12+
<version>1.28-SNAPSHOT</version>
13+
<relativePath>..</relativePath>
14+
</parent>
15+
<dependencies>
16+
<dependency>
17+
<groupId>org.tweetyproject</groupId>
18+
<artifactId>commons</artifactId>
19+
<version>1.28-SNAPSHOT</version>
20+
</dependency>
21+
<dependency>
22+
<groupId>org.tweetyproject.logics</groupId>
23+
<artifactId>fol</artifactId>
24+
<version>1.28-SNAPSHOT</version>
25+
</dependency>
26+
<dependency>
27+
<groupId>org.tweetyproject.lp</groupId>
28+
<artifactId>asp</artifactId>
29+
<version>1.28-SNAPSHOT</version>
30+
</dependency>
31+
<dependency>
32+
<groupId>org.tweetyproject.logics</groupId>
33+
<artifactId>commons</artifactId>
34+
<version>1.28-SNAPSHOT</version>
35+
</dependency>
36+
</dependencies>
37+
</project>

‎org-tweetyproject-agents-dialogues/pom.xml‎

Lines changed: 14 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,22 @@
1-
<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/xsd/maven-4.0.0.xsd">
1+
<project
2+
xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
5+
>
26
<modelVersion>4.0.0</modelVersion>
3-
7+
48
<groupId>org.tweetyproject.agents</groupId>
59
<artifactId>dialogues</artifactId>
6-
10+
711
<name>TweetyProject (Dialogue Systems Library)</name>
8-
12+
913
<parent>
1014
<groupId>org.tweetyproject</groupId>
1115
<artifactId>parent-pom</artifactId>
12-
<version>1.27-SNAPSHOT</version>
16+
<version>1.28-SNAPSHOT</version>
1317
<relativePath>..</relativePath>
1418
</parent>
15-
19+
1620
<dependencies>
1721
<dependency>
1822
<groupId>org.junit.jupiter</groupId>
@@ -22,18 +26,18 @@
2226
<dependency>
2327
<groupId>org.tweetyproject</groupId>
2428
<artifactId>agents</artifactId>
25-
<version>1.27-SNAPSHOT</version>
29+
<version>1.28-SNAPSHOT</version>
2630
</dependency>
2731
<dependency>
2832
<groupId>org.tweetyproject.arg</groupId>
2933
<artifactId>saf</artifactId>
30-
<version>1.27-SNAPSHOT</version>
34+
<version>1.28-SNAPSHOT</version>
3135
</dependency>
3236
<dependency>
3337
<groupId>org.tweetyproject.arg</groupId>
3438
<artifactId>prob</artifactId>
35-
<version>1.27-SNAPSHOT</version>
39+
<version>1.28-SNAPSHOT</version>
3640
</dependency>
3741

3842
</dependencies>
39-
</project>
43+
</project>

‎org-tweetyproject-agents/pom.xml‎

Lines changed: 24 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,24 @@
1-
<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/xsd/maven-4.0.0.xsd">
2-
<modelVersion>4.0.0</modelVersion>
3-
4-
<artifactId>agents</artifactId>
5-
6-
<name>TweetyProject (Agents Library)</name>
7-
<dependencies>
8-
<dependency>
9-
<groupId>org.tweetyproject</groupId>
10-
<artifactId>commons</artifactId>
11-
<version>1.27-SNAPSHOT</version>
12-
</dependency>
13-
</dependencies>
14-
<parent>
15-
<groupId>org.tweetyproject</groupId>
16-
<artifactId>parent-pom</artifactId>
17-
<version>1.27-SNAPSHOT</version>
18-
<relativePath>..</relativePath>
19-
</parent>
20-
</project>
1+
<project
2+
xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
5+
>
6+
<modelVersion>4.0.0</modelVersion>
7+
8+
<artifactId>agents</artifactId>
9+
10+
<name>TweetyProject (Agents Library)</name>
11+
<dependencies>
12+
<dependency>
13+
<groupId>org.tweetyproject</groupId>
14+
<artifactId>commons</artifactId>
15+
<version>1.28-SNAPSHOT</version>
16+
</dependency>
17+
</dependencies>
18+
<parent>
19+
<groupId>org.tweetyproject</groupId>
20+
<artifactId>parent-pom</artifactId>
21+
<version>1.28-SNAPSHOT</version>
22+
<relativePath>..</relativePath>
23+
</parent>
24+
</project>

‎org-tweetyproject-arg-aba/pom.xml‎

Lines changed: 47 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -1,43 +1,47 @@
1-
<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/xsd/maven-4.0.0.xsd">
2-
<modelVersion>4.0.0</modelVersion>
3-
4-
<groupId>org.tweetyproject.arg</groupId>
5-
<artifactId>aba</artifactId>
6-
7-
<name>TweetyProject (ABA Library)</name>
8-
9-
<parent>
10-
<groupId>org.tweetyproject</groupId>
11-
<artifactId>parent-pom</artifactId>
12-
<version>1.27-SNAPSHOT</version>
13-
<relativePath>..</relativePath>
14-
</parent>
15-
<dependencies>
16-
<dependency>
17-
<groupId>junit</groupId>
18-
<artifactId>junit</artifactId>
19-
<version>4.13.1</version>
20-
<scope>test</scope>
21-
</dependency>
22-
<dependency>
23-
<groupId>org.tweetyproject</groupId>
24-
<artifactId>commons</artifactId>
25-
<version>1.27-SNAPSHOT</version>
26-
</dependency>
27-
<dependency>
28-
<groupId>org.tweetyproject</groupId>
29-
<artifactId>graphs</artifactId>
30-
<version>1.27-SNAPSHOT</version>
31-
</dependency>
32-
<dependency>
33-
<groupId>org.tweetyproject.arg</groupId>
34-
<artifactId>dung</artifactId>
35-
<version>1.27-SNAPSHOT</version>
36-
</dependency>
37-
<dependency>
38-
<groupId>org.tweetyproject.arg</groupId>
39-
<artifactId>aspic</artifactId>
40-
<version>1.27-SNAPSHOT</version>
41-
</dependency>
42-
</dependencies>
43-
</project>
1+
<project
2+
xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
5+
>
6+
<modelVersion>4.0.0</modelVersion>
7+
8+
<groupId>org.tweetyproject.arg</groupId>
9+
<artifactId>aba</artifactId>
10+
11+
<name>TweetyProject (ABA Library)</name>
12+
13+
<parent>
14+
<groupId>org.tweetyproject</groupId>
15+
<artifactId>parent-pom</artifactId>
16+
<version>1.28-SNAPSHOT</version>
17+
<relativePath>..</relativePath>
18+
</parent>
19+
<dependencies>
20+
<dependency>
21+
<groupId>junit</groupId>
22+
<artifactId>junit</artifactId>
23+
<version>4.13.1</version>
24+
<scope>test</scope>
25+
</dependency>
26+
<dependency>
27+
<groupId>org.tweetyproject</groupId>
28+
<artifactId>commons</artifactId>
29+
<version>1.28-SNAPSHOT</version>
30+
</dependency>
31+
<dependency>
32+
<groupId>org.tweetyproject</groupId>
33+
<artifactId>graphs</artifactId>
34+
<version>1.28-SNAPSHOT</version>
35+
</dependency>
36+
<dependency>
37+
<groupId>org.tweetyproject.arg</groupId>
38+
<artifactId>dung</artifactId>
39+
<version>1.28-SNAPSHOT</version>
40+
</dependency>
41+
<dependency>
42+
<groupId>org.tweetyproject.arg</groupId>
43+
<artifactId>aspic</artifactId>
44+
<version>1.28-SNAPSHOT</version>
45+
</dependency>
46+
</dependencies>
47+
</project>

‎org-tweetyproject-arg-adf/pom.xml‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<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/xsd/maven-4.0.0.xsd">
1+
<project
2+
xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
5+
>
26
<modelVersion>4.0.0</modelVersion>
37

48
<groupId>org.tweetyproject.arg</groupId>
@@ -9,7 +13,7 @@
913
<parent>
1014
<groupId>org.tweetyproject</groupId>
1115
<artifactId>parent-pom</artifactId>
12-
<version>1.27-SNAPSHOT</version>
16+
<version>1.28-SNAPSHOT</version>
1317
<relativePath>..</relativePath>
1418
</parent>
1519
<dependencies>
@@ -22,7 +26,7 @@
2226
<dependency>
2327
<groupId>org.tweetyproject.arg</groupId>
2428
<artifactId>dung</artifactId>
25-
<version>1.27-SNAPSHOT</version>
29+
<version>1.28-SNAPSHOT</version>
2630
</dependency>
2731
</dependencies>
28-
</project>
32+
</project>

‎org-tweetyproject-arg-aspic/pom.xml‎

Lines changed: 10 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,8 @@
1-
<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/xsd/maven-4.0.0.xsd">
1+
<project
2+
xmlns="http://maven.apache.org/POM/4.0.0"
3+
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
5+
>
26
<modelVersion>4.0.0</modelVersion>
37

48
<groupId>org.tweetyproject.arg</groupId>
@@ -9,7 +13,7 @@
913
<parent>
1014
<groupId>org.tweetyproject</groupId>
1115
<artifactId>parent-pom</artifactId>
12-
<version>1.27-SNAPSHOT</version>
16+
<version>1.28-SNAPSHOT</version>
1317
<relativePath>..</relativePath>
1418
</parent>
1519
<dependencies>
@@ -22,22 +26,22 @@
2226
<dependency>
2327
<groupId>org.tweetyproject</groupId>
2428
<artifactId>commons</artifactId>
25-
<version>1.27-SNAPSHOT</version>
29+
<version>1.28-SNAPSHOT</version>
2630
</dependency>
2731
<dependency>
2832
<groupId>org.tweetyproject</groupId>
2933
<artifactId>graphs</artifactId>
30-
<version>1.27-SNAPSHOT</version>
34+
<version>1.28-SNAPSHOT</version>
3135
</dependency>
3236
<dependency>
3337
<groupId>org.tweetyproject.arg</groupId>
3438
<artifactId>dung</artifactId>
35-
<version>1.27-SNAPSHOT</version>
39+
<version>1.28-SNAPSHOT</version>
3640
</dependency>
3741
<dependency>
3842
<groupId>org.tweetyproject</groupId>
3943
<artifactId>comparator</artifactId>
40-
<version>1.27-SNAPSHOT</version>
44+
<version>1.28-SNAPSHOT</version>
4145
</dependency>
4246
</dependencies>
4347
</project>

0 commit comments

Comments
 (0)