Skip to content

v1.22

Compare
Choose a tag to compare
@matthiasthimm matthiasthimm released this 25 Jul 19:48
· 367 commits to main since this release

Maven

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

Changelog

  • New libraries:
    • org.tweetyproject.comparator: library for various comparators such as
      partial orders
  • New functionalities:
    • Added extension ranking semantics (org.tweetyproject.arg.dung)
    • Added reasoner for serialisable semantics (org.tweetyproject.arg.dung)
    • Added support for incomplete argumentation frameworks (org.tweetyproject.arg.dung)
    • Added KWT generator for abstract argumentation frameworks (org.tweetyproject.arg.dung)
  • Minor changes:
    • Encoding optimsations for SAT-based argumentation solvers (org.tweetyproject.arg.dung)
    • Bugfix web interface (note that http://tweetyproject.org/w/ is usable again)