Skip to content

Commit 230c69b

Browse files
author
Matthias Thimm
committed
TweetyProject winter release 2026 (1.30)
1 parent 4f7e458 commit 230c69b

File tree

55 files changed

+256
-234
lines changed

Some content is hidden

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

55 files changed

+256
-234
lines changed

‎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.29](http://tweetyproject.org/api/1.29/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.30](http://tweetyproject.org/api/1.30/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: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,29 +9,29 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.29-SNAPSHOT</version>
12+
<version>1.30-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>
1616
<dependency>
1717
<groupId>org.tweetyproject</groupId>
1818
<artifactId>commons</artifactId>
19-
<version>1.29-SNAPSHOT</version>
19+
<version>1.30-SNAPSHOT</version>
2020
</dependency>
2121
<dependency>
2222
<groupId>org.tweetyproject.logics</groupId>
2323
<artifactId>fol</artifactId>
24-
<version>1.29-SNAPSHOT</version>
24+
<version>1.30-SNAPSHOT</version>
2525
</dependency>
2626
<dependency>
2727
<groupId>org.tweetyproject.lp</groupId>
2828
<artifactId>asp</artifactId>
29-
<version>1.29-SNAPSHOT</version>
29+
<version>1.30-SNAPSHOT</version>
3030
</dependency>
3131
<dependency>
3232
<groupId>org.tweetyproject.logics</groupId>
3333
<artifactId>commons</artifactId>
34-
<version>1.29-SNAPSHOT</version>
34+
<version>1.30-SNAPSHOT</version>
3535
</dependency>
3636
</dependencies>
3737
</project>

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
<parent>
1414
<groupId>org.tweetyproject</groupId>
1515
<artifactId>parent-pom</artifactId>
16-
<version>1.29-SNAPSHOT</version>
16+
<version>1.30-SNAPSHOT</version>
1717
<relativePath>..</relativePath>
1818
</parent>
1919

@@ -26,17 +26,17 @@
2626
<dependency>
2727
<groupId>org.tweetyproject</groupId>
2828
<artifactId>agents</artifactId>
29-
<version>1.29-SNAPSHOT</version>
29+
<version>1.30-SNAPSHOT</version>
3030
</dependency>
3131
<dependency>
3232
<groupId>org.tweetyproject.arg</groupId>
3333
<artifactId>saf</artifactId>
34-
<version>1.29-SNAPSHOT</version>
34+
<version>1.30-SNAPSHOT</version>
3535
</dependency>
3636
<dependency>
3737
<groupId>org.tweetyproject.arg</groupId>
3838
<artifactId>prob</artifactId>
39-
<version>1.29-SNAPSHOT</version>
39+
<version>1.30-SNAPSHOT</version>
4040
</dependency>
4141

4242
</dependencies>

‎org-tweetyproject-agents/pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,13 +12,13 @@
1212
<dependency>
1313
<groupId>org.tweetyproject</groupId>
1414
<artifactId>commons</artifactId>
15-
<version>1.29-SNAPSHOT</version>
15+
<version>1.30-SNAPSHOT</version>
1616
</dependency>
1717
</dependencies>
1818
<parent>
1919
<groupId>org.tweetyproject</groupId>
2020
<artifactId>parent-pom</artifactId>
21-
<version>1.29-SNAPSHOT</version>
21+
<version>1.30-SNAPSHOT</version>
2222
<relativePath>..</relativePath>
2323
</parent>
2424
</project>

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
<parent>
1414
<groupId>org.tweetyproject</groupId>
1515
<artifactId>parent-pom</artifactId>
16-
<version>1.29-SNAPSHOT</version>
16+
<version>1.30-SNAPSHOT</version>
1717
<relativePath>..</relativePath>
1818
</parent>
1919
<dependencies>
@@ -26,22 +26,22 @@
2626
<dependency>
2727
<groupId>org.tweetyproject</groupId>
2828
<artifactId>commons</artifactId>
29-
<version>1.29-SNAPSHOT</version>
29+
<version>1.30-SNAPSHOT</version>
3030
</dependency>
3131
<dependency>
3232
<groupId>org.tweetyproject</groupId>
3333
<artifactId>graphs</artifactId>
34-
<version>1.29-SNAPSHOT</version>
34+
<version>1.30-SNAPSHOT</version>
3535
</dependency>
3636
<dependency>
3737
<groupId>org.tweetyproject.arg</groupId>
3838
<artifactId>dung</artifactId>
39-
<version>1.29-SNAPSHOT</version>
39+
<version>1.30-SNAPSHOT</version>
4040
</dependency>
4141
<dependency>
4242
<groupId>org.tweetyproject.arg</groupId>
4343
<artifactId>aspic</artifactId>
44-
<version>1.29-SNAPSHOT</version>
44+
<version>1.30-SNAPSHOT</version>
4545
</dependency>
4646
</dependencies>
4747
</project>

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
<parent>
1414
<groupId>org.tweetyproject</groupId>
1515
<artifactId>parent-pom</artifactId>
16-
<version>1.29-SNAPSHOT</version>
16+
<version>1.30-SNAPSHOT</version>
1717
<relativePath>..</relativePath>
1818
</parent>
1919
<dependencies>
@@ -26,7 +26,7 @@
2626
<dependency>
2727
<groupId>org.tweetyproject.arg</groupId>
2828
<artifactId>dung</artifactId>
29-
<version>1.29-SNAPSHOT</version>
29+
<version>1.30-SNAPSHOT</version>
3030
</dependency>
3131
</dependencies>
3232
</project>

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
<parent>
1414
<groupId>org.tweetyproject</groupId>
1515
<artifactId>parent-pom</artifactId>
16-
<version>1.29-SNAPSHOT</version>
16+
<version>1.30-SNAPSHOT</version>
1717
<relativePath>..</relativePath>
1818
</parent>
1919
<dependencies>
@@ -26,22 +26,22 @@
2626
<dependency>
2727
<groupId>org.tweetyproject</groupId>
2828
<artifactId>commons</artifactId>
29-
<version>1.29-SNAPSHOT</version>
29+
<version>1.30-SNAPSHOT</version>
3030
</dependency>
3131
<dependency>
3232
<groupId>org.tweetyproject</groupId>
3333
<artifactId>graphs</artifactId>
34-
<version>1.29-SNAPSHOT</version>
34+
<version>1.30-SNAPSHOT</version>
3535
</dependency>
3636
<dependency>
3737
<groupId>org.tweetyproject.arg</groupId>
3838
<artifactId>dung</artifactId>
39-
<version>1.29-SNAPSHOT</version>
39+
<version>1.30-SNAPSHOT</version>
4040
</dependency>
4141
<dependency>
4242
<groupId>org.tweetyproject</groupId>
4343
<artifactId>comparator</artifactId>
44-
<version>1.29-SNAPSHOT</version>
44+
<version>1.30-SNAPSHOT</version>
4545
</dependency>
4646
</dependencies>
4747
</project>

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<project
22
xmlns="http://maven.apache.org/POM/4.0.0"
33
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
4-
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd"
4+
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
55
>
66
<modelVersion>4.0.0</modelVersion>
77

@@ -13,7 +13,7 @@
1313
<parent>
1414
<groupId>org.tweetyproject</groupId>
1515
<artifactId>parent-pom</artifactId>
16-
<version>1.29-SNAPSHOT</version>
16+
<version>1.30-SNAPSHOT</version>
1717
<relativePath>..</relativePath>
1818
</parent>
1919

@@ -27,17 +27,17 @@
2727
<dependency>
2828
<groupId>org.tweetyproject.arg</groupId>
2929
<artifactId>dung</artifactId>
30-
<version>1.29-SNAPSHOT</version>
30+
<version>1.30-SNAPSHOT</version>
3131
</dependency>
3232
<dependency>
3333
<groupId>org.tweetyproject</groupId>
3434
<artifactId>commons</artifactId>
35-
<version>1.29-SNAPSHOT</version>
35+
<version>1.30-SNAPSHOT</version>
3636
</dependency>
3737
<dependency>
3838
<groupId>org.tweetyproject</groupId>
3939
<artifactId>graphs</artifactId>
40-
<version>1.29-SNAPSHOT</version>
40+
<version>1.30-SNAPSHOT</version>
4141
</dependency>
4242
</dependencies>
4343
</project>

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
<parent>
1111
<groupId>org.tweetyproject</groupId>
1212
<artifactId>parent-pom</artifactId>
13-
<version>1.29-SNAPSHOT</version>
13+
<version>1.30-SNAPSHOT</version>
1414
<relativePath>..</relativePath>
1515
</parent>
1616

@@ -24,27 +24,27 @@
2424
<dependency>
2525
<groupId>org.tweetyproject.arg</groupId>
2626
<artifactId>dung</artifactId>
27-
<version>1.29-SNAPSHOT</version>
27+
<version>1.30-SNAPSHOT</version>
2828
</dependency>
2929
<dependency>
3030
<groupId>org.tweetyproject</groupId>
3131
<artifactId>commons</artifactId>
32-
<version>1.29-SNAPSHOT</version>
32+
<version>1.30-SNAPSHOT</version>
3333
</dependency>
3434
<dependency>
3535
<groupId>org.tweetyproject</groupId>
3636
<artifactId>graphs</artifactId>
37-
<version>1.29-SNAPSHOT</version>
37+
<version>1.30-SNAPSHOT</version>
3838
</dependency>
3939
<dependency>
4040
<groupId>org.tweetyproject</groupId>
4141
<artifactId>math</artifactId>
42-
<version>1.29-SNAPSHOT</version>
42+
<version>1.30-SNAPSHOT</version>
4343
</dependency>
4444
<dependency>
4545
<groupId>org.tweetyproject.logics</groupId>
4646
<artifactId>pl</artifactId>
47-
<version>1.29-SNAPSHOT</version>
47+
<version>1.30-SNAPSHOT</version>
4848
</dependency>
4949
</dependencies>
5050

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
<parent>
1414
<groupId>org.tweetyproject</groupId>
1515
<artifactId>parent-pom</artifactId>
16-
<version>1.29-SNAPSHOT</version>
16+
<version>1.30-SNAPSHOT</version>
1717
<relativePath>..</relativePath>
1818
</parent>
1919
<dependencies>
@@ -26,17 +26,17 @@
2626
<dependency>
2727
<groupId>org.tweetyproject.logics</groupId>
2828
<artifactId>pl</artifactId>
29-
<version>1.29-SNAPSHOT</version>
29+
<version>1.30-SNAPSHOT</version>
3030
</dependency>
3131
<dependency>
3232
<groupId>org.tweetyproject</groupId>
3333
<artifactId>graphs</artifactId>
34-
<version>1.29-SNAPSHOT</version>
34+
<version>1.30-SNAPSHOT</version>
3535
</dependency>
3636
<dependency>
3737
<groupId>org.tweetyproject.arg</groupId>
3838
<artifactId>dung</artifactId>
39-
<version>1.29-SNAPSHOT</version>
39+
<version>1.30-SNAPSHOT</version>
4040
</dependency>
4141
</dependencies>
4242
</project>

0 commit comments

Comments
 (0)