You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -27,7 +27,7 @@ If you want to make your own contributions to the code, follow the usual steps:
27
27
* Create a pull request`
28
28
29
29
## 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.28](http://tweetyproject.org/api/1.28/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.29](http://tweetyproject.org/api/1.29/index.html)
31
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:
32
32
*[Integration of SAT Solvers](http://tweetyproject.org/doc/sat-solvers.html)
33
33
*[Integration of first-order logic theorem provers](http://tweetyproject.org/doc/fol-provers.html)
0 commit comments