Installation of TweetyProject Libraries in Eclipse

The following step-by-step guide explains how to install the TweetyProject libraries for use in Eclipse (tested with version 2019-12). The Maven plugin m2e has to be installed.

1. Create new project, either by right-clicking on the Packing Explorer or using File -> New -> ...
   
2. Select "Maven Project"
   
3. Configure Maven Project 1/2
   
4. Configure Maven Project 2/2
   
5. Overview of new project
   
6. Add TweetyProject dependency to pom.xml (current version is 1.25)
   
   <dependency>
   <groupId>org.tweetyproject</groupId>
   <artifactId>tweety-full</artifactId>
   <version>1.25</version>
   </dependency>
   

7. Create new source file
   
   
   
8. Write code
   
9. Run