The following two step-by-step guides show how to use the Tweety libraries in your own programs-
The above guides always use the latest Maven version of Tweety (updated about twice a year). In order to use the most up-to-date version we recommend using the snapshot versions from SVN with Eclipse. This is also the recommend approach if you are contributing to Tweety yourself.
The most recent version of the technical documentation for all Tweety libraries in form of the JavaDoc API can be found here: Tweety API 1.8
The following paper gives a brief overview on the functionalities of Tweety and should also be used as a reference when citing Tweety in scientific papers:
The slidedeck from the tutorial on Tweety at the 24th International Joint Conference on Artificial Intelligence (IJCAI'15) in Buenos Aires (Argentina) gives a more detailed and practical introduction into working with Tweety.
A manual on how to use Tweety in your programs is currently in development.
The following pages give some more detailed information on how third-party products such as SAT solvers and optimization solvers can be integrated in Tweety: