Skip to content

Commit 0194b15

Browse files
author
matthias.thimm
committed
TweetyProject summer release 2021 (v1.20)
1 parent a3592b0 commit 0194b15

48 files changed

Lines changed: 230 additions & 194 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.

‎README.md‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -15,20 +15,20 @@ Step-by-step guides can be found here:
1515
* [Installing the snapshot version of TweetyProject](http://tweetyproject.org/doc/install-snapshot.html)
1616

1717
## Contributing
18-
Want to contribute? We appreciate it! If you find a bug or would like to request a feature, please open an issue here. For bug reports, include steps to recreate the bug and screenshots, if possible.
18+
Want to contribute? We appreciate it! If you find a bug or would like to request a feature, please open an issue here. For bug reports, include steps to recreate the bug and screenshots, if possible.
1919

2020
If you want to make your own contributions to the code, follow the usual steps:
21-
* Fork this repository
21+
* Fork this repository
2222
* Create a new branch `git checkout -b wip/myfeature`
23-
* Make your changes
23+
* Make your changes
2424
* Add your changes `git add your-files`
2525
* Commit your changes `git commit -m "description of your feature"`
2626
* Push to your branch `git push origin wip/myfeature`
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.19](http://tweetyproject.org/api/1.19/index.html)
31-
* **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:
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.20](http://tweetyproject.org/api/1.20/index.html)
31+
* **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)
3434
* [Integration of optimization problem solvers](http://tweetyproject.org/doc/optimization-problem-solvers.html)
@@ -45,4 +45,4 @@ If you want to make your own contributions to the code, follow the usual steps:
4545
A manual on how to use TweetyProject in your programs is currently in development.
4646

4747
## License
48-
All parts of the TweetyProject available on this website are licensed under the [GNU Lesser General Public License](http://www.gnu.org/licenses/#LGPL) version 3 (beginning with TweetyProject version 1.6, the versions before are licensed under the [GNU General Public License](http://www.gnu.org/licenses/#GPL) version 3) except when this is noted otherwise. Use and modification of the libraries is encouraged but please give credit by referring to this repository. Please note that some libraries make also use of other third-party libraries such as Apache Commons.
48+
All parts of the TweetyProject available on this website are licensed under the [GNU Lesser General Public License](http://www.gnu.org/licenses/#LGPL) version 3 (beginning with TweetyProject version 1.6, the versions before are licensed under the [GNU General Public License](http://www.gnu.org/licenses/#GPL) version 3) except when this is noted otherwise. Use and modification of the libraries is encouraged but please give credit by referring to this repository. Please note that some libraries make also use of other third-party libraries such as Apache Commons.

‎org-tweetyproject-action/pom.xml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -5,29 +5,29 @@
55
<parent>
66
<groupId>org.tweetyproject</groupId>
77
<artifactId>parent-pom</artifactId>
8-
<version>1.19-SNAPSHOT</version>
8+
<version>1.20-SNAPSHOT</version>
99
<relativePath>..</relativePath>
1010
</parent>
1111
<dependencies>
1212
<dependency>
1313
<groupId>org.tweetyproject</groupId>
1414
<artifactId>commons</artifactId>
15-
<version>1.19-SNAPSHOT</version>
15+
<version>1.20-SNAPSHOT</version>
1616
</dependency>
1717
<dependency>
1818
<groupId>org.tweetyproject.logics</groupId>
1919
<artifactId>fol</artifactId>
20-
<version>1.19-SNAPSHOT</version>
20+
<version>1.20-SNAPSHOT</version>
2121
</dependency>
2222
<dependency>
2323
<groupId>org.tweetyproject.lp</groupId>
2424
<artifactId>asp</artifactId>
25-
<version>1.19-SNAPSHOT</version>
25+
<version>1.20-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject.logics</groupId>
2929
<artifactId>commons</artifactId>
30-
<version>1.19-SNAPSHOT</version>
30+
<version>1.20-SNAPSHOT</version>
3131
</dependency>
3232
</dependencies>
3333
</project>

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,25 +9,25 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.19-SNAPSHOT</version>
12+
<version>1.20-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515

1616
<dependencies>
1717
<dependency>
1818
<groupId>org.tweetyproject</groupId>
1919
<artifactId>agents</artifactId>
20-
<version>1.19-SNAPSHOT</version>
20+
<version>1.20-SNAPSHOT</version>
2121
</dependency>
2222
<dependency>
2323
<groupId>org.tweetyproject.arg</groupId>
2424
<artifactId>saf</artifactId>
25-
<version>1.19-SNAPSHOT</version>
25+
<version>1.20-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject.arg</groupId>
2929
<artifactId>prob</artifactId>
30-
<version>1.19-SNAPSHOT</version>
30+
<version>1.20-SNAPSHOT</version>
3131
</dependency>
3232
</dependencies>
3333
</project>

‎org-tweetyproject-agents/pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,13 +8,13 @@
88
<dependency>
99
<groupId>org.tweetyproject</groupId>
1010
<artifactId>commons</artifactId>
11-
<version>1.19-SNAPSHOT</version>
11+
<version>1.20-SNAPSHOT</version>
1212
</dependency>
1313
</dependencies>
1414
<parent>
1515
<groupId>org.tweetyproject</groupId>
1616
<artifactId>parent-pom</artifactId>
17-
<version>1.19-SNAPSHOT</version>
17+
<version>1.20-SNAPSHOT</version>
1818
<relativePath>..</relativePath>
1919
</parent>
2020
</project>

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.19-SNAPSHOT</version>
12+
<version>1.20-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>
@@ -22,22 +22,22 @@
2222
<dependency>
2323
<groupId>org.tweetyproject</groupId>
2424
<artifactId>commons</artifactId>
25-
<version>1.19-SNAPSHOT</version>
25+
<version>1.20-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject</groupId>
2929
<artifactId>graphs</artifactId>
30-
<version>1.19-SNAPSHOT</version>
30+
<version>1.20-SNAPSHOT</version>
3131
</dependency>
3232
<dependency>
3333
<groupId>org.tweetyproject.arg</groupId>
3434
<artifactId>dung</artifactId>
35-
<version>1.19-SNAPSHOT</version>
35+
<version>1.20-SNAPSHOT</version>
3636
</dependency>
3737
<dependency>
3838
<groupId>org.tweetyproject.arg</groupId>
3939
<artifactId>aspic</artifactId>
40-
<version>1.19-SNAPSHOT</version>
40+
<version>1.20-SNAPSHOT</version>
4141
</dependency>
4242
</dependencies>
4343
</project>

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.19-SNAPSHOT</version>
12+
<version>1.20-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.19-SNAPSHOT</version>
12+
<version>1.20-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>
@@ -22,17 +22,17 @@
2222
<dependency>
2323
<groupId>org.tweetyproject</groupId>
2424
<artifactId>commons</artifactId>
25-
<version>1.19-SNAPSHOT</version>
25+
<version>1.20-SNAPSHOT</version>
2626
</dependency>
2727
<dependency>
2828
<groupId>org.tweetyproject</groupId>
2929
<artifactId>graphs</artifactId>
30-
<version>1.19-SNAPSHOT</version>
30+
<version>1.20-SNAPSHOT</version>
3131
</dependency>
3232
<dependency>
3333
<groupId>org.tweetyproject.arg</groupId>
3434
<artifactId>dung</artifactId>
35-
<version>1.19-SNAPSHOT</version>
35+
<version>1.20-SNAPSHOT</version>
3636
</dependency>
3737
</dependencies>
3838
</project>

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.19-SNAPSHOT</version>
12+
<version>1.20-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515

@@ -23,17 +23,17 @@
2323
<dependency>
2424
<groupId>org.tweetyproject.arg</groupId>
2525
<artifactId>dung</artifactId>
26-
<version>1.19-SNAPSHOT</version>
26+
<version>1.20-SNAPSHOT</version>
2727
</dependency>
2828
<dependency>
2929
<groupId>org.tweetyproject</groupId>
3030
<artifactId>commons</artifactId>
31-
<version>1.19-SNAPSHOT</version>
31+
<version>1.20-SNAPSHOT</version>
3232
</dependency>
3333
<dependency>
3434
<groupId>org.tweetyproject</groupId>
3535
<artifactId>graphs</artifactId>
36-
<version>1.19-SNAPSHOT</version>
36+
<version>1.20-SNAPSHOT</version>
3737
</dependency>
3838
</dependencies>
3939
</project>

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,24 +9,24 @@
99
<parent>
1010
<groupId>org.tweetyproject</groupId>
1111
<artifactId>parent-pom</artifactId>
12-
<version>1.19-SNAPSHOT</version>
12+
<version>1.20-SNAPSHOT</version>
1313
<relativePath>..</relativePath>
1414
</parent>
1515
<dependencies>
1616
<dependency>
1717
<groupId>org.tweetyproject.logics</groupId>
1818
<artifactId>pl</artifactId>
19-
<version>1.19-SNAPSHOT</version>
19+
<version>1.20-SNAPSHOT</version>
2020
</dependency>
2121
<dependency>
2222
<groupId>org.tweetyproject</groupId>
2323
<artifactId>graphs</artifactId>
24-
<version>1.19-SNAPSHOT</version>
24+
<version>1.20-SNAPSHOT</version>
2525
</dependency>
2626
<dependency>
2727
<groupId>org.tweetyproject.arg</groupId>
2828
<artifactId>dung</artifactId>
29-
<version>1.19-SNAPSHOT</version>
29+
<version>1.20-SNAPSHOT</version>
3030
</dependency>
3131
</dependencies>
3232
</project>

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,20 +8,20 @@
88
<parent>
99
<groupId>org.tweetyproject</groupId>
1010
<artifactId>parent-pom</artifactId>
11-
<version>1.19-SNAPSHOT</version>
11+
<version>1.20-SNAPSHOT</version>
1212
<relativePath>..</relativePath>
1313
</parent>
1414

1515
<dependencies>
1616
<dependency>
1717
<groupId>org.tweetyproject.logics</groupId>
1818
<artifactId>fol</artifactId>
19-
<version>1.19-SNAPSHOT</version>
19+
<version>1.20-SNAPSHOT</version>
2020
</dependency>
2121
<dependency>
2222
<groupId>org.tweetyproject.arg</groupId>
2323
<artifactId>dung</artifactId>
24-
<version>1.19-SNAPSHOT</version>
24+
<version>1.20-SNAPSHOT</version>
2525
</dependency>
2626
<dependency>
2727
<groupId>args4j</groupId>

0 commit comments

Comments
 (0)