add prefix `tweety` to all tweety libs

TweetyProjectTeam / TweetyProject

TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.

http://tweetyproject.org/

GNU General Public License v3.0

29 stars 17 forks source link

Open nimo23 opened 1 year ago

nimo23 commented 1 year ago

Actually, when adding the libs into my project with:

<dependency>
    <groupId>org.tweetyproject</groupId>
    <artifactId>tweety-full</artifactId>
    <version>..</version>
</dependency>

It cannot be seen at first glance. which imported libs belong to Tweety (e.g. rankings.jar, prob.jar).

Please add the prefix tweety to all imported libs (e.g. instead of rankings.jar it would be better to name it tweety-rankings.jar, etc.).

Thanks.