v1.25

Maven

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

Changelog

• New libraries:
• New functionalities:
  • Added functionalities for reasoning with serialisable semantics for
    abstract argumentation frameworks (org.tweetyproject.arg.dung)
  • Added equivalence testing classes for abstract argumentation frameworks,
    in particular for standard equivalence, strong equivalence, and serialisation
    equivalence (org.tweetyproject.arg.dung)
  • Added functionalities for causal reasoning with abstract argumentation frameworks
    (org.tweetyproject.arg.dung)
  • updated web packages with Spring framework (org.tweetyproject.web)
  • added web components for reasoning with abstract argumentation and ABA
    (org.tweetyproject.web)
• Minor changes:
  • Improved DIMACS conversion for MaxSAT solving
  • Minor bugfixes