Skip to content

Commit f3df118

Browse files
Update README.md
1 parent a4ca4ea commit f3df118

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

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.17](http://tweetyproject.org/api/1.17/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.17](http://tweetyproject.org/api/1.19/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)

0 commit comments

Comments
 (0)